Searched defs:ttbr0 (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/sys/arch/arm/arm/ | ||
| H A D | cpu.c | 474 uint32_t ttbr0; in cpu_hatch_secondary() local |
| /openbsd-src/sys/arch/arm64/arm64/ | ||
| H A D | pmap.c | 2200 uint64_t ttbr0, tcr; pmap_show_mapping() local |