kern_mmap_maxprot
if (kern_mmap_maxprot(p, PROT_READ) == PROT_READ)
int kern_mmap_maxprot(struct proc *p, int prot);
max_prot = kern_mmap_maxprot(p, prot);