Symbol: gtdt_to_el2_vtimer
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);