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