Searched refs:ept_sync_global (Results 1 – 1 of 1) sorted by relevance
1437 static inline void ept_sync_global(void) in ept_sync_global() function1449 ept_sync_global(); in ept_sync_context()3064 ept_sync_global(); in hardware_enable()