PML_HEAD_INDEX
vmcs_write16(GUEST_PML_INDEX, PML_HEAD_INDEX);
if (pml_idx == PML_HEAD_INDEX)
for (i = PML_HEAD_INDEX; i >= pml_tail_index; i--) {