Symbol: acpi_gtdt_el2
drivers/acpi/arm64/gtdt.c
123
struct acpi_gtdt_el2 *el2_vtimer = gtdt_to_el2_vtimer(gtdt);
drivers/acpi/arm64/gtdt.c
159
struct acpi_gtdt_el2 *el2_vtimer = gtdt_to_el2_vtimer(gtdt);
drivers/acpi/arm64/gtdt.c
39
struct acpi_gtdt_el2 el2_vtimer;
drivers/acpi/arm64/gtdt.c
44
static __init struct acpi_gtdt_el2 *gtdt_to_el2_vtimer(struct acpi_table_gtdt *gtdt)