uvm_pageismanaged
if (!uvm_pageismanaged(pa))
#define vm_page_is_managed(page) (pmap_initialized && uvm_pageismanaged(VM_PAGE_TO_PHYS(page)))
#define PAGE_IS_MANAGED(pa) (pmap_initialized && uvm_pageismanaged(pa))
KASSERTMSG(uvm_pageismanaged(pa),
managed = uvm_pageismanaged(pa);
#define PAGE_IS_MANAGED(pa) (pmap_initialized && uvm_pageismanaged(pa))
bool uvm_pageismanaged(paddr_t);