Symbol: ICC_BPR1
sys/arch/arm64/dev/agintc.c
599
__asm volatile("msr "STR(ICC_BPR1)", %x0" :: "r"(0));
sys/arch/arm64/dev/agintc.c
764
__asm volatile("msr "STR(ICC_BPR1)", %x0" :: "r"(0));