vcpumask 1366 arch/x86/xen/mmu_pv.c args->op.arg2.vcpumask = to_cpumask(args->mask); vcpumask 371 include/xen/interface/xen.h void *vcpumask;