Symbol: H_IPI
sys/powerpc/pseries/xics.c
411
phyp_hcall(H_IPI, (uint64_t)(PCPU_GET(hwref)),
sys/powerpc/pseries/xics.c
511
phyp_hcall(H_IPI, (uint64_t)cpu, XICP_PRIORITY);