diff options
Diffstat (limited to '')
| -rw-r--r-- | src/boot/efi/console.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/boot/efi/console.h b/src/boot/efi/console.h index cada643077..ac8b2f8362 100644 --- a/src/boot/efi/console.h +++ b/src/boot/efi/console.h @@ -10,12 +10,12 @@ enum { EFI_LOGO_PRESSED = EFI_RIGHT_LOGO_PRESSED|EFI_LEFT_LOGO_PRESSED, }; -#define KEYPRESS(keys, scan, uni) ((((UINT64)keys) << 32) | (((UINT64)scan) << 16) | (uni)) +#define KEYPRESS(keys, scan, uni) ((((uint64_t)keys) << 32) | (((uint64_t)scan) << 16) | (uni)) #define KEYCHAR(k) ((CHAR16)(k)) #define CHAR_CTRL(c) ((c) - 'a' + 1) enum { - /* Console mode is a INT32 in EFI. We use INT64 to make room for our special values. */ + /* Console mode is a int32_t in EFI. We use int64_t to make room for our special values. */ CONSOLE_MODE_RANGE_MIN = 0, CONSOLE_MODE_RANGE_MAX = INT32_MAX, /* This is just the theoretical limit. */ CONSOLE_MODE_INVALID = -1, /* UEFI uses -1 if the device is not in a valid text mode. */ @@ -31,7 +31,7 @@ enum { CONSOLE_MODE_FIRMWARE_MAX, /* 'max' in config. */ }; -EFI_STATUS console_key_read(UINT64 *key, UINT64 timeout_usec); -EFI_STATUS console_set_mode(INT64 mode); +EFI_STATUS console_key_read(uint64_t *key, uint64_t timeout_usec); +EFI_STATUS console_set_mode(int64_t mode); EFI_STATUS console_query_mode(UINTN *x_max, UINTN *y_max); -EFI_STATUS query_screen_resolution(UINT32 *ret_width, UINT32 *ret_height); +EFI_STATUS query_screen_resolution(uint32_t *ret_width, uint32_t *ret_height); |