Searched refs:c2_TTBR0_high (Results 1 – 2 of 2) sorted by relevance
| /arch/arm/include/asm/ | ||
| D | kvm_asm.h | 29 #define c2_TTBR0_high 7 /* TTBR0 top 32 bits */ macro |
| /arch/arm64/include/asm/ | ||
| D | kvm_asm.h | 75 #define c2_TTBR0_high (c2_TTBR0 + 1) /* TTBR0 top 32 bits */ macro |