Home	Sort by: relevance | last modified time | path

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

    Searched refs:TTBCR_S_N (Results 1 - 3 of 3) sorted by relevancy

/src/sys/arch/arm/arm32/
arm32_machdep.c	785 KASSERT(armreg_ttbcr_read() == __SHIFTIN(1, TTBCR_S_N));
arm32_kvminit.c	1076 KASSERT(armreg_ttbcr_read() == __SHIFTIN(1, TTBCR_S_N));
/src/sys/arch/arm/include/
armreg.h	537 #define TTBCR_S_N __BITS(2,0) // Width of base address in TTB0

Completed in 15 milliseconds

Indexes created Sun Oct 19 19:09:49 GMT 2025