Petroc Baladrddellt (also known as Pedrog, or Pedrogl Paladrddellt) was a 7th-century King of Dumnonia (now the English West Country).