after_register_vcpu_info 148 arch/arm/xen/enlighten.c goto after_register_vcpu_info; after_register_vcpu_info 163 arch/arm/xen/enlighten.c after_register_vcpu_info: