lxpde_valid
if (lxpde_valid(pde)) {
if (!lxpde_valid(pte))
if (!lxpde_valid(pte)) {
KASSERT(lxpde_valid(opte));
if (lxpde_valid(opte)) {
KASSERTMSG(lxpde_valid(pte),
if (!lxpde_valid(pte))
if (!lxpde_valid(pte))
if (lxpde_valid(opte)) {
KASSERT(lxpde_valid(opte));
valid = (ptep != NULL && lxpde_valid(pte = *ptep));
if (!lxpde_valid(pte))
#define l1pde_valid(pde) lxpde_valid(pde)
#define l2pde_valid(pde) lxpde_valid(pde)
#define l3pte_valid(pde) lxpde_valid(pde)
#define l0pde_valid(pde) lxpde_valid(pde)
return lxpde_valid(pde);