sys/arch/arm/arm32/arm32_machdep.c

775

VPRINTS("index: ");

sys/arch/arm/arm32/arm32_machdep.c

777

VPRINTS(" ttb");

sys/arch/arm/arm32/arm32_machdep.c

800

VPRINTS(" (TTBR0=");

sys/arch/arm/arm32/arm32_machdep.c

802

VPRINTS(")");

sys/arch/arm/arm32/arm32_machdep.c

805

VPRINTS(" (TTBR1=");

sys/arch/arm/arm32/arm32_machdep.c

807

VPRINTS(")");

sys/arch/arm/arm32/arm32_machdep.c

808

VPRINTS(" (TTBCR=");

sys/arch/arm/arm32/arm32_machdep.c

810

VPRINTS(")");

sys/arch/arm/arm32/arm32_machdep.c

815

VPRINTS(" ci = ");

sys/arch/arm/arm32/arm32_machdep.c

830

VPRINTS(" vfp");

sys/arch/arm/arm32/arm32_machdep.c

833

VPRINTS(" hatched |=");

sys/arch/arm/arm32/arm32_machdep.c

835

VPRINTS("\n\r");