Searched refs:boot_tte (Results 1 – 2 of 2) sorted by relevance
410 tt_entry_t *boot_tte; in arm_vm_init() local444 boot_tte = (tt_entry_t *) phystokv(boot_ttep); in arm_vm_init()449 bcopy(boot_tte, cpu_tte, ARM_PGBYTES * 4); in arm_vm_init()
1795 tt_entry_t *boot_tte; in arm_vm_init() local1880 boot_tte = (tt_entry_t *)&bootstrap_pagetables; in arm_vm_init()1881 boot_ttep = kvtophys((vm_offset_t)boot_tte); in arm_vm_init()