Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched refs:TCR_TBI1 (Results 1 - 2 of 2) sorted by relevancy

/src/sys/arch/aarch64/include/
cpufunc.h	178 tbi = addrtop ? TCR_TBI1 : TCR_TBI0; 211 tbi = addrtop ? TCR_TBI1 : TCR_TBI0;
armreg.h	1125 #define TCR_TBI1 __BIT(38) /* ignore Top Byte TTBR1_EL1 */

Completed in 16 milliseconds

Indexes created Thu Oct 16 14:10:15 GMT 2025