Searched refs:VKI_KDADDIO (Results 1 – 2 of 2) sorted by relevance
2201 #define VKI_KDADDIO 0x4B34 /* add i/o port as valid */ macro
6479 case VKI_KDADDIO: in PRE()9094 case VKI_KDADDIO: in POST()