pte_valid_p
if (ptep == NULL || !pte_valid_p(pte = *ptep)) {
KASSERT(pte_valid_p(opte));
if (pte_valid_p(opte)) {
if (! pte_valid_p(opte)) {
if (! pte_valid_p(opte)) {
if (pte_valid_p(opte)) {
KASSERT(! pte_valid_p(pte_load(ptep)));
if (__predict_false(pte_valid_p(opte))) {
KASSERT(! pte_valid_p(pte_load(ptep)));
if (pte_valid_p(opte)) {
KASSERT(pte_valid_p(opte));
if (__predict_true(pte_valid_p(pte))) {
KASSERT(! pte_valid_p(pte_load(dst_ptep)));
KASSERT(! pte_valid_p(pte_load(src_ptep)));
KASSERT(! pte_valid_p(pte_load(dst_ptep)));
if (! pte_valid_p(opte)) {
return ptep != NULL && pte_valid_p(*ptep);
if (pte_valid_p(old_pte)) {
if (!pte_valid_p(entry))
if (!pte_valid_p(pte)) {
if (!pte_valid_p(pte)) {
KASSERTMSG(pte_valid_p(pte), "%#"PRIx32, pte_value(pte));
KASSERT(pte_valid_p(pte[i]));
if (!pte_valid_p(*ptep)) {
if (!pte_valid_p(pt_entry) || !pte_exec_p(pt_entry)) {
if (ptep != NULL && !usertrap && pte_valid_p(*ptep)) {
if (!pte_valid_p(opte))
if (!pte_valid_p(opte))
if (!pte_valid_p(pte))
if (!pte_valid_p(pte))
if (!pte_valid_p(opte))
if (pte_valid_p(pte)) {
const bool resident = pte_valid_p(opte);
KASSERT(pte_valid_p(npte));
KASSERT(!pte_valid_p(atomic_load_relaxed(ptep)));
if (!pte_valid_p(pte))
KASSERTMSG(pte_valid_p(pte),
if (!pte_valid_p(pte)) {
KASSERT(pte_valid_p(npte));
KASSERT(pte_valid_p(pte));
if (!pte_valid_p(pte) || pte_to_paddr(pte) != pa)
KASSERTMSG(pte_valid_p(pte), "va %#"PRIxVADDR" %#"PRIxPTE,