Searched refs:gicc_base (Results 1 – 2 of 2) sorted by relevance

/xen/tools/libxl/
A D	libxl_arm_acpi.c	258 static void make_acpi_madt_gicc(void *table, int nr_cpus, uint64_t gicc_base) in make_acpi_madt_gicc() argument 266 gicc->base_address = gicc_base; in make_acpi_madt_gicc()
A D	libxl_arm.c	480 uint64_t gicc_base, uint64_t gicc_size) in make_gicv2_node() argument 506 gicc_base, gicc_size); in make_gicv2_node()

Completed in 10 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023