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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dkeyboard_chardev.c23 keyboard_cdev_handle_led_changed(void *cookie) function
90 keyboard_cdev_handle_led_changed);
93 keyboard_cdev_handle_led_changed(NULL);

Completed in 28 milliseconds