Searched defs:gicd_base (Results 1 – 2 of 2) sorted by relevance

/xen/tools/libxl/
A D	libxl_arm_acpi.c	275 static void make_acpi_madt_gicd(void *table, uint64_t gicd_base, in make_acpi_madt_gicd()
A D	libxl_arm.c	479 uint64_t gicd_base, uint64_t gicd_size, in make_gicv2_node() 524 const uint64_t gicd_base = GUEST_GICV3_GICD_BASE; in make_gicv3_node() local

Completed in 5 milliseconds

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