Searched refs:INVALID_ALTP2M (Results 1 – 5 of 5) sorted by relevance
28 av->p2midx = INVALID_ALTP2M; in altp2m_vcpu_reset()
1403 i = INVALID_ALTP2M; in p2m_find_altp2m_by_eptp()
240 #define INVALID_ALTP2M 0xffff macro
795 if ( index == INVALID_ALTP2M ) in p2m_get_altp2m()
3585 INVALID_ALTP2M ) in vmx_vmexit_handler()
Completed in 17 milliseconds