1 /* SPDX-License-Identifier: LGPL-2.1-or-later */
4 #include "missing_efi.h"
7 EFI_SHIFT_PRESSED
= EFI_RIGHT_SHIFT_PRESSED
|EFI_LEFT_SHIFT_PRESSED
,
8 EFI_CONTROL_PRESSED
= EFI_RIGHT_CONTROL_PRESSED
|EFI_LEFT_CONTROL_PRESSED
,
9 EFI_ALT_PRESSED
= EFI_RIGHT_ALT_PRESSED
|EFI_LEFT_ALT_PRESSED
,
10 EFI_LOGO_PRESSED
= EFI_RIGHT_LOGO_PRESSED
|EFI_LEFT_LOGO_PRESSED
,
13 #define KEYPRESS(keys, scan, uni) ((((uint64_t)keys) << 32) | (((uint64_t)scan) << 16) | (uni))
14 #define KEYCHAR(k) ((char16_t)(k))
15 #define CHAR_CTRL(c) ((c) - 'a' + 1)
18 /* Console mode is a int32_t in EFI. We use int64_t to make room for our special values. */
19 CONSOLE_MODE_RANGE_MIN
= 0,
20 CONSOLE_MODE_RANGE_MAX
= INT32_MAX
, /* This is just the theoretical limit. */
21 CONSOLE_MODE_INVALID
= -1, /* UEFI uses -1 if the device is not in a valid text mode. */
23 CONSOLE_MODE_80_25
= 0, /* 80x25 is required by UEFI spec. */
24 CONSOLE_MODE_80_50
= 1, /* 80x50 may be supported. */
25 CONSOLE_MODE_FIRMWARE_FIRST
= 2, /* First custom mode, if supported. */
27 /* These are our own mode values that map to concrete values at runtime. */
28 CONSOLE_MODE_KEEP
= CONSOLE_MODE_RANGE_MAX
+ 1LL,
31 CONSOLE_MODE_FIRMWARE_MAX
, /* 'max' in config. */
34 EFI_STATUS
console_key_read(uint64_t *key
, uint64_t timeout_usec
);
35 EFI_STATUS
console_set_mode(int64_t mode
);
36 EFI_STATUS
console_query_mode(size_t *x_max
, size_t *y_max
);
37 EFI_STATUS
query_screen_resolution(uint32_t *ret_width
, uint32_t *ret_height
);