key_released 78 kernel/genarch/src/kbrd/kbrd.c static void key_released(kbrd_instance_t *instance, char32_t sc) key_released 71 kernel/genarch/src/kbrd/kbrd_at.c static void key_released(kbrd_instance_t *instance, char32_t sc)HelenOS homepage, sources at GitHub