Searched refs:pml_idx (Results 1 – 1 of 1) sorted by relevance
7870 u16 pml_idx; in vmx_flush_pml_buffer() local7872 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()7875 if (pml_idx == (PML_ENTITY_NUM - 1)) in vmx_flush_pml_buffer()7879 if (pml_idx >= PML_ENTITY_NUM) in vmx_flush_pml_buffer()7880 pml_idx = 0; in vmx_flush_pml_buffer()7882 pml_idx++; in vmx_flush_pml_buffer()7885 for (; pml_idx < PML_ENTITY_NUM; pml_idx++) { in vmx_flush_pml_buffer()7888 gpa = pml_buf[pml_idx]; in vmx_flush_pml_buffer()