Searched refs:pml_idx (Results 1 – 1 of 1) sorted by relevance
5631 u16 pml_idx; in vmx_flush_pml_buffer() local5633 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()5636 if (pml_idx == (PML_ENTITY_NUM - 1)) in vmx_flush_pml_buffer()5640 if (pml_idx >= PML_ENTITY_NUM) in vmx_flush_pml_buffer()5641 pml_idx = 0; in vmx_flush_pml_buffer()5643 pml_idx++; in vmx_flush_pml_buffer()5646 for (; pml_idx < PML_ENTITY_NUM; pml_idx++) { in vmx_flush_pml_buffer()5649 gpa = pml_buf[pml_idx]; in vmx_flush_pml_buffer()
