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