Lines Matching refs:key
435 grub_dprintf ("atkeyb", "Unknown key 0xe0+0x%02x from set %d\n",
438 grub_dprintf ("atkeyb", "Unknown key 0x%02x from set %d\n",
448 grub_keyboard_isr (grub_keyboard_key_t key, int is_break)
451 switch (key)
475 switch (key)
500 /* If there is a raw key pending, return it; otherwise return -1. */
504 int key;
507 key = fetch_key (&is_break);
508 if (key == -1)
511 if (grub_keyboard_isr (key, is_break))
515 return key;
528 grub_dprintf ("atkeyb", "Detected key 0x%x\n", key);