Searched refs:TCR_IPS_WIDTH (Results 1 – 2 of 2) sorted by relevance
| /freebsd-14-stable/sys/arm64/arm64/ | ||
| HD | locore.S | 810 bfi x2, x3, #(TCR_IPS_SHIFT), #(TCR_IPS_WIDTH) |
| /freebsd-14-stable/sys/arm64/include/ | ||
| HD | armreg.h | 2455 #define TCR_IPS_WIDTH 3 macro |