Searched defs:nested_pte (Results 1 – 1 of 1) sorted by relevance
352 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local401 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local416 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local436 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local