GIET-VM / TTY0 access functions

The utils.c​ and util.h​ files define the functions used to access the kernel terminal TTY[0]. The _put* functions do not take the lock protecting exclusive access. The _printf function takes the lock protecting exclusive access.

They are prefixed by "_" to remind that they can only be executed by a processor in kernel mode.

void _puts( char* string )

Displays a string on kernel TTY0. This function does NOT take the TTY0 lock.

void _putx( unsigned int value )

Displays a 32 bits word as an hexadecimal string on kernel TTY0. This function does NOT take the TTY0 lock.

void _putl( unsigned long long value )

Displays a 64 bits word as an hexadecimal string on kernel TTY0. This function does NOT take the TTY0 lock.

void _putd( unsigned int value )

Displays a 32 bits word as an decimal string on kernel TTY0. This function does NOT take the TTY0 lock.

void _getc( char* byte )

This blocking function uses a polling strategy on the TTY0 status register to get a single character.