Symbol: HYPERCALL_ARG4
sys/dev/pv/xen.c
389
HYPERCALL_ARG3(argv[2]); HYPERCALL_ARG4(argv[3]);
sys/dev/pv/xen.c
407
HYPERCALL_ARG3(argv[2]); HYPERCALL_ARG4(argv[3]);