CVMX_MIPS_SPACE_XKPHYS
uint64_t index = CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS, cvmx_l2c_address_to_index(addr) << CVMX_L2C_IDX_ADDR_SHIFT);
CVMX_CACHE_LCKL2(CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS, addr), 0);
address = CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS,
CVMX_CACHE_WBIL2(CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS, address), 0);
uint64_t debug_tag_addr = CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS, (index << 7) + 96);
uint64_t address = CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS,
address = CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS,
CVMX_PREPARE_FOR_STORE(CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS,
#define CVMX_IO_SEG CVMX_MIPS_SPACE_XKPHYS
CVMX_ADD_SEG(CVMX_MIPS_SPACE_XKPHYS,
#define CVMX_IO_SEG CVMX_MIPS_SPACE_XKPHYS