Symbol: GITS_TYPER_DEVB_SHIFT
sys/arm64/arm64/gic_v3_reg.h
445
#define GITS_TYPER_DEVB_MASK (0x1FUL << GITS_TYPER_DEVB_SHIFT)
sys/arm64/arm64/gic_v3_reg.h
448
((((x) & GITS_TYPER_DEVB_MASK) >> GITS_TYPER_DEVB_SHIFT) + 1)