static void lpc_init(device_t dev)
{
uint8_t byte, byte_old;
- uint32_t on, nmi_option;
+ int on, nmi_option;
lpc_common_init(dev);
/* power after power fail */
on = MAINBOARD_POWER_ON_AFTER_POWER_FAIL;
- get_option("power_on_after_fail", &on);
+ get_option(&on, "power_on_after_fail");
byte = pci_read_config8(dev, PREVIOUS_POWER_STATE);
byte &= ~0x40;
if (!on)
/* Throttle the CPU speed down for testing. */
on = SLOW_CPU_OFF;
- get_option("slow_cpu", &on);
+ get_option(&on, "slow_cpu");
if (on) {
uint16_t pm10_bar;
uint32_t dword;
byte = inb(0x70); /* RTC70 */
byte_old = byte;
nmi_option = NMI_OFF;
- get_option("nmi", &nmi_option);
+ get_option(&nmi_option, "nmi");
if (nmi_option) {
byte &= ~(1 << 7); /* Set NMI. */
} else {