CVMX_ADDR_DIDSPACE
#define CVMX_ADDR_DID(did) (CVMX_ADDR_DIDSPACE(did) << 40)
CVMX_ADDR_DIDSPACE(CVMX_FULL_DID(CVMX_OCT_DID_FPA, pool));