ppc_mftbl
*tc = ppc_mftbl();
tb = ppc_mftbl();
first_tb = ppc_mftbl();
second_tb = ppc_mftbl();
return ppc_mftbl();
ppc_mftbl(void)