EFSYS_MEM_ADDR
addr = EFSYS_MEM_ADDR(esmp);
addr = EFSYS_MEM_ADDR(esmp);
EFSYS_MEM_ADDR(esmp) >> 32);
EFSYS_MEM_ADDR(esmp) & 0xffffffff);
if ((EFSYS_MEM_ADDR(esmp) & 0xFF) != 0) {
addr = EFSYS_MEM_ADDR(esmp);
addr = EFSYS_MEM_ADDR(esmp);
FRF_AZ_INT_ADR_KER_DW0, EFSYS_MEM_ADDR(esmp) & 0xffffffff,
FRF_AZ_INT_ADR_KER_DW1, EFSYS_MEM_ADDR(esmp) >> 32);
EFSYS_MEM_ADDR(esmp) & 0xffffffff);
EFSYS_MEM_ADDR(esmp) >> 32);
addr = EFSYS_MEM_ADDR(esmp);
addr_lo = (uint32_t)(EFSYS_MEM_ADDR(esmp) & 0xffffffff);
addr_hi = (uint32_t)(EFSYS_MEM_ADDR(esmp) >> 32);
EFSYS_MEM_ADDR(esmp) & 0xffffffff);
EFSYS_MEM_ADDR(esmp) >> 32);