Symbol: GICV3_PRIV_FLAGS
sys/arm64/arm64/gic_v3_acpi.c
247
switch((uintptr_t)acpi_get_private(dev) & ~GICV3_PRIV_FLAGS) {
sys/arm64/arm64/gic_v3_acpi.c
452
if (((uintptr_t)acpi_get_private(dev) & GICV3_PRIV_FLAGS) != 0) {