pub unsafe extern "C" fn rvvm_detach_mmio(
machine: *mut rvvm_machine_t,
mmio_addr: rvvm_addr_t,
cleanup: bool,
)pub unsafe extern "C" fn rvvm_detach_mmio(
machine: *mut rvvm_machine_t,
mmio_addr: rvvm_addr_t,
cleanup: bool,
)