PHYS_TO_K0
#define K0_RAMBASE PHYS_TO_K0(PHYS_RAMBASE)
PHYS_TO_K0(NODE_OFFSET(nasid) | EX_HANDLER_OFFSET(slice))
PHYS_TO_K0(NODE_OFFSET(nasid) | EX_FRAME_OFFSET(slice))
PHYS_TO_K0(NODE_OFFSET(nasid) | ARCS_SPB_OFFSET)
PHYS_TO_K0((NODE_OFFSET(_nasid) + (_off)) | CAC_BASE)
#define MAPPED_KERN_RO_TO_K0(x) PHYS_TO_K0(MAPPED_KERN_RO_TO_PHYS(x))
#define MAPPED_KERN_RW_TO_K0(x) PHYS_TO_K0(MAPPED_KERN_RW_TO_PHYS(x))
#define MISC_PROM_BASE PHYS_TO_K0(0x01300000)
#define DIAG_BASE PHYS_TO_K0(0x01500000)
#define ROUTE_BASE PHYS_TO_K0(0x01800000)
#define IP27PROM_FLASH_HDR PHYS_TO_K0(0x01300000)
#define IP27PROM_FLASH_DATA PHYS_TO_K0(0x01301000)
#define IP27PROM_CORP PHYS_TO_K0(0x01800000)
#define IP27PROM_CORP_STK PHYS_TO_K0(0x01810000)
#define IP27PROM_DECOMP_BUF PHYS_TO_K0(0x01900000)
#define IP27PROM_BASE PHYS_TO_K0(0x01a00000)
#define IP27PROM_PCFG PHYS_TO_K0(0x01b00000)
#define IP27PROM_ELSC_BASE_A PHYS_TO_K0(0x01bdf800)
#define IP27PROM_ELSC_BASE_B PHYS_TO_K0(0x01bdfc00)
#define IP27PROM_STACK_A PHYS_TO_K0(0x01be0000)
#define IP27PROM_STACK_B PHYS_TO_K0(0x01bf0000)
#define IP27PROM_INIT_END PHYS_TO_K0(0x01c00000)
#define SLAVESTACK_BASE PHYS_TO_K0(0x01580000)
#define ENETBUFS_BASE PHYS_TO_K0(0x01f80000)
#define IO6PROM_BASE PHYS_TO_K0(0x01c00000)
#define IO6DPROM_BASE PHYS_TO_K0(0x01c00000)
#define NODEBUGUNIX_ADDR PHYS_TO_K0(0x00019000)
#define DEBUGUNIX_ADDR PHYS_TO_K0(0x00100000)
#define FREEMEM_BASE PHYS_TO_K0(0x2000000)