STIC_KSEG_TO_PHYS
#define STIC_KSEG_TO_PHYS(x) MIPS_KSEG0_TO_PHYS(x)
#define STIC_KSEG_TO_PHYS(x) ALPHA_K0SEG_TO_PHYS((vaddr_t)x)