diff options
Diffstat (limited to 'src/mainboard/via/epia-m')
| -rw-r--r-- | src/mainboard/via/epia-m/fadt.c | 8 | ||||
| -rw-r--r-- | src/mainboard/via/epia-m/mainboard.c | 5 |
2 files changed, 4 insertions, 9 deletions
diff --git a/src/mainboard/via/epia-m/fadt.c b/src/mainboard/via/epia-m/fadt.c index 632dbf6df8..d1af915d7b 100644 --- a/src/mainboard/via/epia-m/fadt.c +++ b/src/mainboard/via/epia-m/fadt.c @@ -37,8 +37,8 @@ void acpi_create_fadt(acpi_fadt_t *fadt,acpi_facs_t *facs,void *dsdt){ memcpy(header->asl_compiler_id,ASLC,4); header->asl_compiler_revision=0; - fadt->firmware_ctrl=facs; - fadt->dsdt= dsdt; + fadt->firmware_ctrl=(u32)facs; + fadt->dsdt=(u32)dsdt; fadt->preferred_pm_profile=0; fadt->sci_int=5; fadt->smi_cmd = 0; @@ -84,9 +84,9 @@ void acpi_create_fadt(acpi_fadt_t *fadt,acpi_facs_t *facs,void *dsdt){ fadt->reset_reg.addrh = 0x0; fadt->reset_value = 0; - fadt->x_firmware_ctl_l = facs; + fadt->x_firmware_ctl_l = (u32)facs; fadt->x_firmware_ctl_h = 0; - fadt->x_dsdt_l = dsdt; + fadt->x_dsdt_l = (u32)dsdt; fadt->x_dsdt_h = 0; fadt->x_pm1a_evt_blk.space_id = 1; diff --git a/src/mainboard/via/epia-m/mainboard.c b/src/mainboard/via/epia-m/mainboard.c index 0fe49fc46f..43e11d30ba 100644 --- a/src/mainboard/via/epia-m/mainboard.c +++ b/src/mainboard/via/epia-m/mainboard.c @@ -7,9 +7,6 @@ #include "chip.h" #include "vgachip.h" -void vga_enable_console(); - - static void vga_fixup(void) { // we do this right here because: // - all the hardware is working, and some VGA bioses seem to need @@ -22,8 +19,6 @@ static void vga_fixup(void) { do_vgabios(); post_code(0x93); vga_enable_console(); - - } void write_protect_vgabios(void) |