109
111
{0x38, GRUB_KEYBOARD_KEY_RIGHT_ALT},
110
112
{0x47, GRUB_KEYBOARD_KEY_HOME},
111
113
{0x48, GRUB_KEYBOARD_KEY_UP},
113
115
{0x4b, GRUB_KEYBOARD_KEY_LEFT},
114
116
{0x4d, GRUB_KEYBOARD_KEY_RIGHT},
115
117
{0x4f, GRUB_KEYBOARD_KEY_END},
116
118
{0x50, GRUB_KEYBOARD_KEY_DOWN},
118
120
{0x52, GRUB_KEYBOARD_KEY_INSERT},
119
121
{0x53, GRUB_KEYBOARD_KEY_DELETE},