Symbol: xive_write_1
sys/arch/powerpc64/dev/xive.c
234
xive_write_1(sc, XIVE_TM_CPPR_HV, xive_prio(curcpu()->ci_cpl));
sys/arch/powerpc64/dev/xive.c
363
xive_write_1(sc, XIVE_TM_CPPR_HV, newprio);
sys/arch/powerpc64/dev/xive.c
456
xive_write_1(sc, XIVE_TM_CPPR_HV, xive_prio(old));