uvm_page_get_bucket
KASSERT(uvm_page_get_bucket(pg) == b);
bucket = uvm_page_get_bucket(pg);
pg->loan_count, pg->wire_count, uvm_page_get_bucket(pg),
int b = uvm_page_get_bucket(pg);
uvm_page_get_bucket(pg) == ob);
KASSERT(uvm_page_get_bucket(pg) == b);
KASSERT(uvm_page_get_bucket(pg) == ucpu->pgflbucket);
KASSERT(uvm_page_get_bucket(pg) == ucpu->pgflbucket);
pgb = pgfl->pgfl_buckets[uvm_page_get_bucket(pg)];