Symbol: GITS_TYPER_ITTES_SHIFT
sys/arm64/arm64/gic_v3_reg.h
450
#define GITS_TYPER_ITTES_MASK (0xFUL << GITS_TYPER_ITTES_SHIFT)
sys/arm64/arm64/gic_v3_reg.h
453
((((x) & GITS_TYPER_ITTES_MASK) >> GITS_TYPER_ITTES_SHIFT) + 1)