Symbol: vcpu_attach
sys/arch/xen/x86/cpu.c
127
static void vcpu_attach(device_t, device_t, void *);
sys/arch/xen/x86/cpu.c
146
vcpu_match, vcpu_attach, NULL, NULL);