MMU_VALID_DT
if (MMU_VALID_DT(dte[i])) {
if (MMU_VALID_DT(dte[i])) {
if (MMU_VALID_DT(*c_pte)) {
if (!MMU_VALID_DT(*a_dte))
if (!MMU_VALID_DT(*b_dte))
if (MMU_VALID_DT(*a_dte)) { /* Is the descriptor valid? */
if (MMU_VALID_DT(*b_dte)) { /* Is the descriptor valid? */
if (MMU_VALID_DT(*c_pte)) { /* Is the entry currently valid? */
if (MMU_VALID_DT(*pte)) {
KASSERT(!MMU_VALID_DT(*pte));
if (MMU_VALID_DT(*pte)) {
if (b_tbl || MMU_VALID_DT(a_tbl->at_dtbl[a_idx])) {
if (c_tbl || MMU_VALID_DT(b_tbl->bt_dtbl[b_idx])) {
if (MMU_VALID_DT(c_tbl->ct_dtbl[c_idx])) {
if (!MMU_VALID_DT(*pte))
if (!MMU_VALID_DT(*c_pte))
if (MMU_VALID_DT(*a_dte)) {
if (MMU_VALID_DT(*a_dte)) {
if (MMU_VALID_DT(*a_dte)) {
if (MMU_VALID_DT(*b_dte)) {
if (MMU_VALID_DT(*b_dte)) {
if (MMU_VALID_DT(*b_dte)) {
if (MMU_VALID_DT(*c_pte)) {
if (MMU_VALID_DT(a_tbl->at_dtbl[a_idx])) {
if (MMU_VALID_DT(b_tbl->bt_dtbl[b_idx])) {