immu_dvma_physmem_update
immu_dvma_physmem_update(addr, size);
void immu_dvma_physmem_update(uint64_t addr, uint64_t size);