Searched refs:boot_ttep (Results 1 – 1 of 1) sorted by relevance
1817 pmap_paddr_t boot_ttep; in arm_vm_init() local1929 boot_ttep = kvtophys((vm_offset_t)boot_tte); in arm_vm_init()