- dword = pci_read_config32(dev, 0x50);
- /* Ensure prefetch is disabled */
- dword &= ~((1 << 15) | (1 << 13));
- if (conf->sata1_enable) {
- /* Enable secondary SATA interface */
- dword |= (1<<0);
- printk_debug("SATA S \t");
- }
- if (conf->sata0_enable) {
- /* Enable primary SATA interface */
- dword |= (1<<1);
- printk_debug("SATA P \n");
- }
+ dword = pci_read_config32(dev, 0x50);
+ /* Ensure prefetch is disabled. */
+ dword &= ~((1 << 15) | (1 << 13));
+ if (conf->sata1_enable) {
+ /* Enable secondary SATA interface. */
+ dword |= (1 << 0);
+ printk(BIOS_DEBUG, "SATA S \t");
+ }
+ if (conf->sata0_enable) {
+ /* Enable primary SATA interface. */
+ dword |= (1 << 1);
+ printk(BIOS_DEBUG, "SATA P \n");
+ }