Searched refs:vgic_maintenance_gsiv (Results 1 - 1 of 1) sorted by relevance

/haiku/headers/private/kernel/
H A Dacpi.h225 uint32 vgic_maintenance_gsiv; member in struct:acpi_gic_interface

Completed in 33 milliseconds