EHEA_BUSMAP_START
u64 vaddr = EHEA_BUSMAP_START;
hret = ehea_h_alloc_resource_mr(adapter->handle, EHEA_BUSMAP_START,
mr->vaddr = EHEA_BUSMAP_START;