mana_gd_r64
(void *)(bar0_va + (size_t)mana_gd_r64(gc, GDMA_REG_DB_PAGE_OFFSET));
bar0_pa + mana_gd_r64(gc, GDMA_REG_DB_PAGE_OFFSET);
(void *)(bar0_va + (size_t)mana_gd_r64(gc, GDMA_REG_SHM_OFFSET));