Searched refs:VKI_KDDELIO (Results 1 – 2 of 2) sorted by relevance
2202 #define VKI_KDDELIO 0x4B35 /* del i/o port as valid */ macro
6517 case VKI_KDDELIO: in PRE()9161 case VKI_KDDELIO: in POST()