pte2_is_valid
if (!pte2_is_valid(pte2_load(kern_pt2tab_entry(va))))
KASSERT(pte2_is_valid(pte2), ("%s: no valid entry", __func__));
if (pte2_is_valid(pte2) &&
if (!pte2_is_valid(pte2)) {
if (!pte2_is_valid(pte2)) {
if (pte2_is_valid(opte2) && (opa == pa)) {
!pte2_is_valid(opte2) || ((opte2 & PTE2_RO) != 0),
KASSERT(pte2_is_valid(opte2), ("%s: pmap %p va %#x not link pte2 %#x",
!pte2_is_valid(pte2_load(pte2p)))
if (!pte2_is_valid(pte2))
KASSERT(pte2_is_valid(opte2), ("%s: pmap %p va %x zero pte2",
if (!pte2_is_valid(pte2)) {
if (pte2_is_valid(pte2)) {
if (!pte2_is_valid(pte2))
if (!pte2_is_valid(opte2))
rv = !pte2_is_valid(pte2) ;
if (!pte2_is_valid(pte2))
KASSERT(pte2_is_valid(pte2_load(pte2p)),
if (!pte2_is_valid(pte2) || !pte2_is_managed(pte2))
if (!pte2_is_valid(pte2_load(dst_pte2p)) &&
if (!pte2_is_valid(pte2))
if (pte2_is_valid(pte2)) {
if (pte2_is_valid(pte2) && !(pte2 & PTE2_RO) &&
if (!pte2_is_valid(pte2))
if (!pte2_is_valid(pte2)) {
if (!pte2_is_valid(pte2))
if (pte2_is_valid(pte2))