Searched refs:GUEST_PML_INDEX (Results 1 – 2 of 2) sorted by relevance
207 GUEST_PML_INDEX = 0x0812ul, enumerator
1295 index = vmcs_read(GUEST_PML_INDEX); in pml_exit_handler()1305 index = vmcs_read(GUEST_PML_INDEX); in pml_exit_handler()1319 vmcs_write(GUEST_PML_INDEX, PML_INDEX - 1); in pml_exit_handler()1531 vmcs_write(GUEST_PML_INDEX, PML_INDEX - 1); in pml_init()