Searched refs:TCR_TBI0 (Results 1 – 2 of 2) sorted by relevance
| /optee_os-3.20.0/core/arch/arm/include/ | ||
| A D | arm64.h | 131 #define TCR_TBI0 BIT64(37) macro |
| /optee_os-3.20.0/core/arch/arm/kernel/ | ||
| A D | entry_a64.S | 120 orr x0, x0, #TCR_TBI0 |
Completed in 3 milliseconds