Searched defs:nested_pte (Results 1 – 1 of 1) sorted by relevance
364 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local444 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local459 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local479 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local