HomeSort by: relevance | last modified time | path
    Searched defs:VPRINTX (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/riscv/riscv/
locore.S 55 #define VPRINTX(regno) \
68 #define VPRINTX(regno) /* nothing */
167 VPRINTX(a0)
198 VPRINTX(t1)
202 VPRINTX(s3)
231 VPRINTX(s9)
257 VPRINTX(s9)
275 VPRINTX(s9)
  /src/sys/arch/arm/arm/
armv6_start.S 60 #define VPRINTX(regno) mov r0, regno; bl generic_printx
64 #define VPRINTX(regno) /* nothing */
125 VPRINTX(pc)
128 VPRINTX(R_VTOPDIFF)
131 VPRINTX(sp)
144 VPRINTX(r6)
150 VPRINTX(r0)
153 VPRINTX(r0)
156 VPRINTX(r0)
159 VPRINTX(r0
    [all...]
  /src/sys/arch/arm/arm32/
arm32_machdep.c 101 #define VPRINTX(x) generic_printx(x)
104 #define VPRINTX(x) __nothing
109 #define VPRINTX(x) __nothing
775 VPRINTX(cpuindex);
800 VPRINTX(armreg_ttbr_read());
805 VPRINTX(armreg_ttbr1_read());
808 VPRINTX(armreg_ttbcr_read());
815 VPRINTX((int)ci);
833 VPRINTX(__BIT(cpuindex));

Completed in 13 milliseconds