static void model_6bx_init(device_t cpu) { char processor_name[49]; /* Turn on caching if we haven't already */ x86_enable_cache(); /* Update the microcode */ intel_update_microcode(microcode_updates); /* Print processor name */ fill_processor_name(processor_name); printk(BIOS_INFO, "CPU: %s.\n", processor_name); #if CONFIG_USBDEBUG // Is this caution really needed? if(!ehci_debug_addr) ehci_debug_addr = get_ehci_debug(); set_ehci_debug(0); #endif /* Setup MTRRs */ x86_setup_mtrrs(36); x86_mtrr_check(); #if CONFIG_USBDEBUG set_ehci_debug(ehci_debug_addr); #endif /* Enable the local cpu apics */ setup_lapic(); }
static void model_1067x_init(device_t cpu) { char processor_name[49]; /* Turn on caching if we haven't already */ x86_enable_cache(); /* Update the microcode */ intel_update_microcode(microcode_updates); /* Print processor name */ fill_processor_name(processor_name); printk(BIOS_INFO, "CPU: %s.\n", processor_name); #if CONFIG_USBDEBUG // Is this caution really needed? if(!ehci_debug_addr) ehci_debug_addr = get_ehci_debug(); set_ehci_debug(0); #endif /* Setup MTRRs */ x86_setup_mtrrs(36); x86_mtrr_check(); #if CONFIG_USBDEBUG set_ehci_debug(ehci_debug_addr); #endif /* Enable the local cpu apics */ setup_lapic(); /* Initialize the APIC timer */ init_timer(); /* Enable virtualization */ enable_vmx(); /* Configure C States */ configure_c_states(); /* Configure Enhanced SpeedStep and Thermal Sensors */ configure_misc(); /* PIC thermal sensor control */ configure_pic_thermal_sensors(); /* Start up my cpu siblings */ intel_sibling_init(cpu); }
static void usb_set_resources(struct device *dev) { struct resource *res; u32 base; u32 old_debug; old_debug = get_ehci_debug(); set_ehci_debug(0); pci_dev_set_resources(dev); res = find_resource(dev, 0x10); set_ehci_debug(old_debug); if (!res) return; base = res->base; set_ehci_base(base); report_resource_stored(dev, res, ""); }
static void usb_ehci_set_resources(struct device *dev) { #if CONFIG_USBDEBUG struct resource *res; u32 base; u32 usb_debug; usb_debug = get_ehci_debug(); set_ehci_debug(0); #endif pci_dev_set_resources(dev); #if CONFIG_USBDEBUG res = find_resource(dev, 0x10); set_ehci_debug(usb_debug); if (!res) return; base = res->base; set_ehci_base(base); report_resource_stored(dev, res, ""); #endif }