21 lines
388 B
C
21 lines
388 B
C
#include "t124.h"
|
|
#include "types.h"
|
|
|
|
static inline u32 read32(uintptr_t addr) {
|
|
return *(vu32 *)addr;
|
|
}
|
|
|
|
static inline void write32(uintptr_t addr, u32 val) {
|
|
*(vu32 *)addr = val;
|
|
}
|
|
|
|
static inline void or32(uintptr_t addr, u32 val) {
|
|
write32(addr, read32(addr) | val);
|
|
}
|
|
|
|
__attribute__((section(".init")))
|
|
void main() {
|
|
or32(PMC_BASE + PMC_CNTRL, PMC_CNTRL_MAIN_RST);
|
|
}
|
|
|