Searched refs:io_va (Results 1 – 3 of 3) sorted by relevance
274 uint64_t io_va; member
256 vcpu->iobuf = (unsigned char *)(info.io_va); in hax_host_setup_vcpu_channel()
377 vcpu->iobuf = (unsigned char *)(info.io_va); in hax_host_setup_vcpu_channel()