Searched refs:VKI_KDGKBLED (Results 1 – 2 of 2) sorted by relevance
2241 #define VKI_KDGKBLED 0x4B64 /* get led flags (not lights) */ macro
6548 case VKI_KDGKBLED: in PRE()9146 case VKI_KDGKBLED: in POST()