Symbol: check_pgprot