VM_PAGEMD_EXECPAGE_P
KASSERT(!VM_PAGEMD_EXECPAGE_P(mdpg));
KASSERT(!VM_PAGEMD_EXECPAGE_P(mdpg));
if (mdpg != NULL && VM_PAGEMD_EXECPAGE_P(mdpg))
KASSERT(!VM_PAGEMD_EXECPAGE_P(dst_mdpg));
KASSERT(!VM_PAGEMD_EXECPAGE_P(dst_mdpg));
KASSERT(!VM_PAGEMD_EXECPAGE_P(mdpg));
KASSERT(!VM_PAGEMD_EXECPAGE_P(mdpg));
KASSERT(!VM_PAGEMD_EXECPAGE_P(VM_PAGE_TO_MD(PHYS_TO_VM_PAGE(va))));
KASSERT(!VM_PAGEMD_EXECPAGE_P(VM_PAGE_TO_MD(PHYS_TO_VM_PAGE(dst))));
if (VM_PAGEMD_EXECPAGE_P(mdpg))
if (!VM_PAGEMD_EXECPAGE_P(mdpg)) {
if (mdpg != NULL && !VM_PAGEMD_EXECPAGE_P(mdpg))
if (mdpg != NULL && !VM_PAGEMD_EXECPAGE_P(mdpg))
if (VM_PAGEMD_EXECPAGE_P(mdpg) || (prot & VM_PROT_EXECUTE)) {
if (!VM_PAGEMD_EXECPAGE_P(mdpg) && pte_cached_p(npte)) {
if (VM_PAGEMD_EXECPAGE_P(mdpg)) {
if (VM_PAGEMD_EXECPAGE_P(mdpg) && dirty) {
KASSERT(!VM_PAGEMD_EXECPAGE_P(VM_PAGE_TO_MD(pg)));
KASSERT(!VM_PAGEMD_EXECPAGE_P(mdpg));
KASSERT(!VM_PAGEMD_EXECPAGE_P(VM_PAGE_TO_MD(pg)));
if (VM_PAGEMD_EXECPAGE_P(mdpg)) {