size_t vmi_get_dgpma( vmi_instance_t vmi, addr_t paddr, void **buf_ptr, size_t count) { return driver_get_dgpma(vmi, paddr, buf_ptr, count); }
const void * vmi_get_dgpma( vmi_instance_t vmi) { return driver_get_dgpma(vmi); }