Searched refs:pml_idx (Results 1 – 1 of 1) sorted by relevance
6505 u16 pml_idx, pml_tail_index; in vmx_flush_pml_buffer() local6509 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()6512 if (pml_idx == PML_HEAD_INDEX) in vmx_flush_pml_buffer()6518 pml_tail_index = (pml_idx >= PML_LOG_NR_ENTRIES) ? 0 : pml_idx + 1; in vmx_flush_pml_buffer()