MMU_DT_SHORT
a_dte->attr.raw = MMU_LONG_DTE_LU | MMU_DT_SHORT;
b_dte->attr.raw |= MMU_DT_SHORT;
MMU_LONG_DTE_LU | MMU_LONG_DTE_SUPV | MMU_DT_SHORT;
mmu_vtop(&kernCbase[c]) | MMU_DT_SHORT;