Searched refs:hax_host_setup_vcpu_channel (Results 1 – 4 of 4) sorted by relevance
79 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu);
236 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu) in hax_host_setup_vcpu_channel() function
351 int hax_host_setup_vcpu_channel(struct hax_vcpu_state *vcpu) in hax_host_setup_vcpu_channel() function
217 ret = hax_host_setup_vcpu_channel(vcpu); in hax_vcpu_create()