page_flagbits    3691 uvm/uvm_map.c  static const char page_flagbits[] =
page_flagbits    3710 uvm/uvm_map.c  	snprintf(pgbuf, sizeof(pgbuf), "%b", pg->pg_flags, page_flagbits);