Searched defs:l4idx (Results 1 – 1 of 1) sorted by relevance
2272 uint64_t l4idx, l3idx, l2idx, l1idx; in pmap_enter_special() local2460 uint64_t l4idx, l3idx, l2idx, l1idx; in pmap_do_remove_ept() local2540 uint64_t l4idx, l3idx, l2idx, l1idx; in pmap_enter_ept() local