Searched refs:ppc64_terminate_msg (Results 1 – 3 of 3) sorted by relevance
159 void ppc64_terminate_msg(unsigned int src, const char *msg);
560 void ppc64_terminate_msg(unsigned int src, const char *msg) in ppc64_terminate_msg() function
166 ppc64_terminate_msg(0x20, "hpt space"); in htab_initialize()275 ppc64_terminate_msg(0x22, "hpte platform"); in make_pte()