Searched refs:pml_tail_index (Results 1 – 1 of 1) sorted by relevance
6432 u16 pml_idx, pml_tail_index; vmx_flush_pml_buffer() local