Home
last modified time | relevance | path

Searched refs:pmap_kern_ttb (Results 1 – 4 of 4) sorted by relevance

/f-stack/freebsd/arm/include/
H A Dpmap-v6.h157 extern ttb_entry_t pmap_kern_ttb; /* TTB for kernel pmap */
/f-stack/freebsd/arm/arm/
H A Dmp_machdep.c148 cpuinfo_reinit_mmu(pmap_kern_ttb); in init_secondary()
H A Dswtch-v6.S128 ldr r1, =(_C_LABEL(pmap_kern_ttb))
H A Dpmap-v6.c258 ttb_entry_t pmap_kern_ttb; variable
897 pmap_kern_ttb = base_pt1 | ttb_flags; in pmap_bootstrap_prepare()
898 cpuinfo_reinit_mmu(pmap_kern_ttb); in pmap_bootstrap_prepare()