Searched defs:nested_pte (Results 1 – 1 of 1) sorted by relevance
308 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local357 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local372 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local392 pt_entry_t *nested_pte = pmap_pte(nested_pmap, va); in test_pmap_nesting() local