Searched refs:pml_idx (Results 1 – 1 of 1) sorted by relevance
6266 u16 pml_idx, pml_tail_index; in vmx_flush_pml_buffer() local6270 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()6273 if (pml_idx == PML_HEAD_INDEX) in vmx_flush_pml_buffer()6279 pml_tail_index = (pml_idx >= PML_LOG_NR_ENTRIES) ? 0 : pml_idx + 1; in vmx_flush_pml_buffer()