struct AcpiGtdt

Defined at line 210 of file ../../src/firmware/gigaboot/cpp/acpi.h

Generic Timer Description Table

Public Members

SdtHeader hdr

uint64_t cnt_control_base

uint32_t reserved

uint32_t secure_el1_timer_gsiv

uint32_t secure_el1_timer_flags

uint32_t nonsecure_el1_timer_gsiv

uint32_t nonsecure_el1_timer_flags

uint32_t virtual_el1_timer_gsiv

uint32_t virtual_el1_timer_flags

uint32_t el2_timer_gsiv

uint32_t el2_timer_flags

uint64_t cnt_read_base

uint32_t platform_timer_count

uint32_t platform_timer_offset

uint32_t virtual_el2_timer_gsiv

uint32_t virtual_el2_timer_flags

static array kSig

zbi_dcfg_arm_generic_timer_driver_t GetTimer ()

Return a config structure for the generic timer.

Defined at line 96 of file ../../src/firmware/gigaboot/cpp/acpi.cc