build_hpet(GArray *table_data, GArray *linker)

{

    Acpi20Hpet *hpet;



    hpet = acpi_data_push(table_data, sizeof(*hpet));

    /* Note timer_block_id value must be kept in sync with value advertised by

     * emulated hpet

     */

    hpet->timer_block_id = cpu_to_le32(0x8086a201);

    hpet->addr.address = cpu_to_le64(HPET_BASE);

    build_header(linker, table_data,

                 (void *)hpet, "HPET", sizeof(*hpet), 1, NULL);

}

build_hpet(GArray *table_data, GArray *linker)

{

    Acpi20Hpet *hpet;



    hpet = acpi_data_push(table_data, sizeof(*hpet));

    





    hpet->timer_block_id = cpu_to_le32(0x8086a201);

    hpet->addr.address = cpu_to_le64(HPET_BASE);

    build_header(linker, table_data,

                 (void *)hpet, "HPET", sizeof(*hpet), 1, NULL);

}

FUNC_0(GArray *VAR_0, GArray *VAR_1)

{

    Acpi20Hpet *hpet;



    hpet = acpi_data_push(VAR_0, sizeof(*hpet));

    





    hpet->timer_block_id = cpu_to_le32(0x8086a201);

    hpet->addr.address = cpu_to_le64(HPET_BASE);

    build_header(VAR_1, VAR_0,

                 (void *)hpet, "HPET", sizeof(*hpet), 1, NULL);

}

FUNC_0(GArray *VAR_0, GArray *VAR_1)
{ Acpi20Hpet *hpet; hpet = acpi_data_push(VAR_0, sizeof(*hpet)); hpet->timer_block_id = cpu_to_le32(0x8086a201); hpet->addr.address = cpu_to_le64(HPET_BASE); build_header(VAR_1, VAR_0,
(void *)hpet, "HPET", sizeof(*hpet), 1, NULL); }