Symbol: hal2_pbus