Symbol: pmap_pku_mask_bit
sys/amd64/amd64/pmap.c
5973
PG_PKU_MASK = pmap_pku_mask_bit(pmap);
sys/amd64/amd64/pmap.c
6846
PG_PKU_MASK = pmap_pku_mask_bit(pmap);