MIPS_PHYS_TO_XKPHYS_UNCACHED
const uint64_t wdog_reg = MIPS_PHYS_TO_XKPHYS_UNCACHED(CIU_WDOG0);
#define REGVAL(x) *((volatile u_int32_t *)MIPS_PHYS_TO_XKPHYS_UNCACHED(x))
#define REGVAL8(x) *((volatile u_int8_t *)MIPS_PHYS_TO_XKPHYS_UNCACHED(x))
*kvap = (void *)MIPS_PHYS_TO_XKPHYS_UNCACHED(
kva = (void *)MIPS_PHYS_TO_XKPHYS_UNCACHED(
*hp = MIPS_PHYS_TO_XKPHYS_UNCACHED(addr);
*bshp = MIPS_PHYS_TO_XKPHYS_UNCACHED(mbst.mbst_sys_start +
mips3_sd(MIPS_PHYS_TO_XKPHYS_UNCACHED(CIU_NMI), __BIT(ci->ci_cpuid));