((void *)((((A_UINT32)(addr)) & ~A_MIPS_KSEG_MASK) | A_MIPS_KSEG_CACHED))
/* Read/Write a 32-bit AR6000 SOC register, specified by its physical address */
((void *)((((A_UINT32)(addr)) & ~A_MIPS_KSEG_MASK) | A_MIPS_KSEG_CACHED))
/* Read/Write a 32-bit AR6000 SOC register, specified by its physical address */