Searched refs:PC99_KEYBOARD_PS2 (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dserial.h38 PC99_KEYBOARD_PS2, enumerator in enum:chardev_id
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dchardev.c51 .id = PC99_KEYBOARD_PS2, \
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dserial.h38 PC99_KEYBOARD_PS2, enumerator in enum:chardev_id
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dchardev.c51 .id = PC99_KEYBOARD_PS2, \
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c130 devKeyboardRet = ps_cdev_init(PC99_KEYBOARD_PS2, &conServ.devIO.opsIO, &conServ.devKeyboard);
/seL4-refos-master/apps/console_server/src/
H A Dstate.c130 devKeyboardRet = ps_cdev_init(PC99_KEYBOARD_PS2, &conServ.devIO.opsIO, &conServ.devKeyboard);

Completed in 33 milliseconds