HelenOS sources
__NONPRINT 137 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F1, 0x3A);
__NONPRINT 138 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F2, 0x3B);
__NONPRINT 139 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F3, 0x3C);
__NONPRINT 140 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F4, 0x3D);
__NONPRINT 141 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F5, 0x3E);
__NONPRINT 142 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F6, 0x3F);
__NONPRINT 143 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F7, 0x40);
__NONPRINT 144 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F8, 0x41);
__NONPRINT 145 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F9, 0x42);
__NONPRINT 146 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F10, 0x43);
__NONPRINT 147 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F11, 0x44);
__NONPRINT 148 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(F12, 0x45);
__NONPRINT 151 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(PRINT_SCREEN, 0x46);
__NONPRINT 152 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(SCROLL_LOCK, 0x47);
__NONPRINT 153 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(PAUSE, 0x48);
__NONPRINT 154 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(INSERT, 0x49);
__NONPRINT 155 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(HOME, 0x4A);
__NONPRINT 156 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(PAGE_UP, 0x4B);
__NONPRINT 157 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(DELETE, 0x4C);
__NONPRINT 158 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(END, 0x4D);
__NONPRINT 159 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(PAGE_DOWN, 0x4E);
__NONPRINT 160 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(RIGHT_ARROW, 0x4F);
__NONPRINT 161 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(LEFT_ARROW, 0x50);
__NONPRINT 162 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(DOWN_ARROW, 0x51);
__NONPRINT 163 uspace/lib/usbhid/include/usb/hid/usages/kbdgen.h __NONPRINT(UP_ARROW, 0x52);
HelenOS homepage, sources at GitHub