Symbol: ppc64_mthid4
sys/arch/macppc/macppc/cpu.c
721
ppc64_mthid4(h->hid4);
sys/arch/powerpc/include/cpu.h
391
void ppc64_mthid4(u_int64_t);