Symbol: GDMA_REG_DB_PAGE_OFFSET
sys/dev/mana/gdma_main.c
1500
(void *)(bar0_va + (size_t)mana_gd_r64(gc, GDMA_REG_DB_PAGE_OFFSET));
sys/dev/mana/gdma_main.c
1503
bar0_pa + mana_gd_r64(gc, GDMA_REG_DB_PAGE_OFFSET);