GUEST_PML_INDEX
case GUEST_PML_INDEX:
vmcs_write16(GUEST_PML_INDEX, -1);
case GUEST_PML_INDEX:
FIELD(GUEST_PML_INDEX, guest_pml_index),
SHADOW_FIELD_RW(GUEST_PML_INDEX, guest_pml_index)
vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX);
pml_idx = vmcs_read16(GUEST_PML_INDEX);
vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX);
vmwrite(GUEST_PML_INDEX, 0);