Searched refs:IDT434_REG_BASE (Results 1 – 2 of 2) sorted by relevance
32 writel(0x80000001, IDT434_REG_BASE + RST); in rb_machine_restart()
11 #define IDT434_REG_BASE ((volatile void *) KSEG1ADDR(REGBASE)) macro