Searched refs:GUEST_PML_INDEX (Results 1 – 2 of 2) sorted by relevance
127 GUEST_PML_INDEX = 0x00000812, enumerator
7853 vmcs_write16(GUEST_PML_INDEX, PML_ENTITY_NUM - 1); in vmx_create_pml_buffer()7872 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()7894 vmcs_write16(GUEST_PML_INDEX, PML_ENTITY_NUM - 1); in vmx_flush_pml_buffer()