Searched refs:VKI_KDSKBLED (Results 1 – 2 of 2) sorted by relevance
2242 #define VKI_KDSKBLED 0x4B65 /* set led flags (not lights) */ macro
6588 case VKI_KDSKBLED: in PRE()9215 case VKI_KDSKBLED: in POST()