Dictionary of Medieval Names
from European Sources

Petrinus m. (nom) Latin. Dublin, Ireland . fin12thC. MunDocIr III, p. 12

Peter