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