Searched defs:tcr2_el1 (Results 1 – 2 of 2) sorted by relevance
| /freebsd-src/sys/arm64/vmm/ | ||
| H A D | arm64.h | 73 uint64_t tcr2_el1; /* Translation Control Register 2 */ member |
| /freebsd-src/sys/arm64/include/ | ||
| H A D | vmm.h | 271 uint64_t tcr2_el1; global() member |