Searched refs:TCR_TG_4KB (Results 1 – 2 of 2) sorted by relevance
| /dports/misc/rump/buildrump.sh-b914579/src/sys/arch/aarch64/include/ | ||
| H A D | pte.h | 92 #define TCR_TG_4KB 1 // 4KB page size macro |
| H A D | armreg.h | 347 TCR_TG_4KB = 1, // 4KB page size variable |