Searched refs:cp15_ttbr_set (Results 1 – 2 of 2) sorted by relevance
| /f-stack/freebsd/arm/include/ | ||
| H A D | cpu-v6.h | 628 cp15_ttbr_set(uint32_t reg) in cp15_ttbr_set() function |
| /f-stack/freebsd/arm/arm/ | ||
| H A D | pmap-v6.c | 6213 cp15_ttbr_set(ttb); in pmap_activate() |