Searched full:gics (Results 1 – 4 of 4) sorted by relevance
150 * chips and call this to register their GICs.
700 MADT for GICs are expected to be in synchronization. The _UID of the Device769 - Section 9.17: I/O APIC devices; all GICs must be enumerable via MADT
705 * If we get one of these oddball non-GICs, taint the kernel, in kvm_vgic_hyp_init()
496 * because any nested/secondary GICs do not directly interface in gic_cpu_init()