ARMC_TO_VCBUS
*addr = ARMC_TO_VCBUS(segs[0].ds_addr);
cb->src = ARMC_TO_VCBUS(src);
cb->dst = ARMC_TO_VCBUS(dst);
*addr = ARMC_TO_VCBUS(segs[0].ds_addr);
#define PHYS_TO_VCBUS ARMC_TO_VCBUS