HelenOS sources

KC_F9             144 uspace/drv/hid/adb-kbd/ctl.c 	[0x65] = KC_F9,
KC_F9             136 uspace/drv/hid/atkbd/atkbd.c 	[0x01] = KC_F9,
KC_F9             114 uspace/drv/hid/usbhid/kbd/conv.c 	[0x42] = KC_F9,
KC_F9             128 uspace/drv/hid/xtkbd/xtkbd.c 	[0x43] = KC_F9,
KC_F9             889 uspace/lib/vt/src/vt100.c 		vt100_key(vt, 0, KC_F9, 0);
KC_F9             210 uspace/srv/hid/input/ctl/stty.c 	0,	KC_F9,		0x1b, 0x5b, 0x32, 0x30, 0x7e, GSP_END,
KC_F9             116 uspace/srv/hid/input/ctl/sun.c 	[0x12] = KC_F9,
HelenOS homepage, sources at GitHub