Searched refs:VKI_KDGKBTYPE (Results 1 – 2 of 2) sorted by relevance
2199 #define VKI_KDGKBTYPE 0x4B33 /* get keyboard type */ macro
6475 case VKI_KDGKBTYPE: in PRE()9090 case VKI_KDGKBTYPE: in POST()