Symbol: service_pre_reset
sys/arch/acorn32/stand/boot32/boot32.c
908
service_pre_reset();
sys/arch/acorn32/stand/boot32/boot32.c
911
service_pre_reset();
sys/arch/acorn32/stand/lib/riscoscalls.h
354
extern void service_pre_reset(void);