Searched refs:run_guest_cmd (Results 1 – 1 of 1) sorted by relevance
671 static void run_guest_cmd(struct kvm_vcpu *vcpu, int gic_fd, in run_guest_cmd() function788 run_guest_cmd(vcpu, gic_fd, &inject_args, &args); in test_vgic()