bcm2835_cpu_reset
PLATFORMMETHOD(platform_cpu_reset, bcm2835_cpu_reset),
static platform_cpu_reset_t bcm2835_cpu_reset;