Searched refs:VKI_RTC_PIE_OFF (Results 1 – 2 of 2) sorted by relevance
1605 #define VKI_RTC_PIE_OFF _VKI_IO('p', 0x06) /* ... off */ macro
6199 case VKI_RTC_PIE_OFF: in PRE()8891 case VKI_RTC_PIE_OFF: in POST()