mmPSOC_ETR_DBAHI
WREG32(mmPSOC_ETR_DBAHI,
WREG32(mmPSOC_ETR_DBAHI, 0);
WREG32(mmPSOC_ETR_DBAHI, upper_32_bits(input->buffer_address));
WREG32(mmPSOC_ETR_DBAHI, 0);
WREG32(mmPSOC_ETR_DBAHI,
WREG32(mmPSOC_ETR_DBAHI, 0);