static int __init devices_register(void)
{
+ /* All interrupt priority high */
+ ctrl_outb(0xff, 0xfee018);
+ ctrl_outb(0xff, 0xfee019);
return platform_add_devices(devices,
ARRAY_SIZE(devices));
}
{
early_platform_add_devices(early_devices,
ARRAY_SIZE(devices));
- /* All interrupt priority high */
- ctrl_outb(0xff, 0xfee018);
- ctrl_outb(0xff, 0xfee019);
}