uvm_page_owner_locked_p
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, false));
bool uvm_page_owner_locked_p(struct vm_page *, bool);
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(p, true));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(uvm_page_owner_locked_p(pg, true));
KASSERT(uvm_page_owner_locked_p(pg, false));
KASSERT(!locked || uvm_page_owner_locked_p(pg, false));