Gilla Pátraic mac Donnchada — king of Osraige