Symbol: GIC_MSI_TYPER_NUMBER
sys/arch/arm/acpi/gic_v2m_acpi.c
111
frame->frame_count = __SHIFTOUT(typer, GIC_MSI_TYPER_NUMBER);
sys/arch/arm/fdt/gic_fdt.c
225
num_spis = __SHIFTOUT(typer, GIC_MSI_TYPER_NUMBER);