Searched refs:vmcs_state_t (Results 1 – 1 of 1) sorted by relevance
124 } vmcs_state_t; typedef135 vmcs_state_t vmcs_state[VM_MAXCPU];