pmap_pte_v
if (pte == NULL || pmap_pte_v(pte) == 0)
if (pmap_pte_v(l1pte_) == 0) { \
if (pmap_pte_v(l2pte_) == 0) { \
if (pmap_pte_v(l3pte)) {
if (pmap_pte_v(l1pte)) {
if (pmap_pte_v(l2pte)) {
if (!pmap_pte_v(l3pte)) {
if (pmap_pte_v(l1pte)) {
if (pmap_pte_v(l2pte)) {
if (pmap_pte_v(l3pte) &&
if (pmap_pte_v(l1pte) == 0) {
if (pmap_pte_v(l2pte) == 0) {
KASSERT(pmap_pte_v(pte));
if (pmap_pte_v(l1pte) == 0)
if (pmap_pte_v(l2pte) == 0)
if (pmap_pte_v(l3pte) == 0)
if (pmap_pte_v(pte) == 0)
if (__predict_false(! pmap_pte_v(pte))) {
if (pmap_pte_v(l1pte) == 0) {
KASSERT(pmap_pte_v(l2pte) == 0);
if (pmap_pte_v(l1pte) == 0)
if (pmap_pte_v(l1pte) == 0)
if (pmap_pte_v(l2pte) == 0)
if (pmap_pte_v(pte) && pmap_pte_prot_chg(pte, isro)) {
KASSERT(!pmap_pte_v(pte));
if (!pmap_pte_v(pte)) {
!pmap_pte_v(pmap_pte(pmap_kernel(), va)))
if (pmap_pte_v(pte)) {