Symbol: phb_setup_tce_table