2 * bcm2835 (e.g. raspberry pi) architecture-specific stuff
6 #include "../port/lib.h"
10 #include "../port/error.h"
14 #define POWERREGS (VIRTIO+0x100000)
21 * Power management / watchdog registers
42 r = (u32int*)POWERREGS;
43 r[Wdog] = Password | 1;
44 r[Rstc] = Password | (r[Rstc] & ~CfgMask) | CfgReset;
53 print("cpu%d: %dMHz ARM1176JZF-S\n", m->machno, m->cpumhz);