pmap_md_direct_mapped_vaddr_p
KASSERT(pmap_md_direct_mapped_vaddr_p(va));
if (pmap_md_direct_mapped_vaddr_p(va)) {
bool pmap_md_direct_mapped_vaddr_p(vaddr_t);
bool pmap_md_direct_mapped_vaddr_p(vaddr_t);
bool pmap_md_direct_mapped_vaddr_p(register_t);
if (pmap_md_direct_mapped_vaddr_p(kva))
if (!pmap_md_direct_mapped_vaddr_p(va)) {
KASSERT(!pmap_md_direct_mapped_vaddr_p(ci->ci_pmap_dstbase));
KASSERT(!pmap_md_direct_mapped_vaddr_p(ci->ci_pmap_srcbase));
KASSERT(pmap_md_direct_mapped_vaddr_p(va));
if (!pmap_md_direct_mapped_vaddr_p(ua2)) {
KASSERT(pmap_md_direct_mapped_vaddr_p(ua2));
bool pmap_md_direct_mapped_vaddr_p(vaddr_t);
bool pmap_md_direct_mapped_vaddr_p(vaddr_t);
if (pmap_md_direct_mapped_vaddr_p((vaddr_t)kva))
if (!pmap_md_direct_mapped_vaddr_p((vaddr_t)va))
KASSERT(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va));
if (pmap_md_direct_mapped_vaddr_p(va)) {
KASSERT(pv->pv_pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(pv->pv_va));
KASSERT(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va));
KASSERT(pmap_md_direct_mapped_vaddr_p(va));
KASSERT(pmap_md_direct_mapped_vaddr_p(va));
KASSERTMSG(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va),
KASSERTMSG(pmap != pmap_kernel() || !pmap_md_direct_mapped_vaddr_p(va),