Symbol: SYSREG_WRITE
sys/arch/arm/vexpress/vexpress_platform.c
125
SYSREG_WRITE(SYS_FLAGSCLR, 0xffffffff);
sys/arch/arm/vexpress/vexpress_platform.c
126
SYSREG_WRITE(SYS_FLAGS, KERN_VTOPHYS((vaddr_t)cpu_mpstart));
sys/arch/arm/vexpress/vexpress_platform.c
204
SYSREG_WRITE(SYS_CFGSTAT, 0);
sys/arch/arm/vexpress/vexpress_platform.c
205
SYSREG_WRITE(SYS_CFGDATA, 0);
sys/arch/arm/vexpress/vexpress_platform.c
206
SYSREG_WRITE(SYS_CFGCTRL,