vcpu.h   32 arch/x86/xen/enlighten.c #include <xen/interface/vcpu.h>
vcpu.h    5 arch/x86/xen/irq.c #include <xen/interface/vcpu.h>
vcpu.h   25 arch/x86/xen/smp.c #include <xen/interface/vcpu.h>
vcpu.h   23 arch/x86/xen/time.c #include <xen/interface/vcpu.h>