40#define GETKEY_TIMEOUT ( TICKS_PER_SEC / 4 )
77 if ( character !=
ESC )
85 return (
toupper ( character ) -
'A' + 1 );
89 n = ( ( n * 10 ) + ( character -
'0' ) );
92 if ( character >= 0x40 )
#define ESC
Escape character.
int getchar(void)
Read a single character from any console.
int iskey(void)
Check for available input on any console.
static int toupper(int character)
Convert character to upper case.
static int isdigit(int character)
Check if character is a decimal digit.
static int isalpha(int character)
Check if character is alphabetic.
static int getchar_timeout(unsigned long timeout)
Read character from console if available within timeout period.
int getkey(unsigned long timeout)
Get single keypress.
uint32_t start
Starting offset.
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
void cpu_nap(void)
Sleep with interrupts enabled until next CPU interrupt.
#define KEY_ANSI(n, terminator)
Construct ANSI escape sequence key value.
void step(void)
Single-step a single process.
unsigned long currticks(void)
Get current system time in ticks.