Symbol: ICC_SGI1R_EL1_TL_SHIFT
sys/arm64/include/armreg.h
743
#define ICC_SGI1R_EL1_TL_MASK (0xffffUL << ICC_SGI1R_EL1_TL_SHIFT)
sys/arm64/vmm/io/vgic_v3.c
1802
cpus = ICC_SGI1R_EL1_TL_VAL(rval) >> ICC_SGI1R_EL1_TL_SHIFT;