DELTA 304004 0 4605 SVNJ3_2\ B&H#ifdef INVARIANTS pt_entry_t *pte; #endifswitch (lvl) { case -1: break; case 0: #ifdef INVARIANTS pte = pmap_l0_to_l1(pde, va); KASSERT(pmap_load(pte) == 0, ("pmap_alloc_l3: TODO: l0 superpages")); #endif break; case 1: #ifdef INVARIANTS pte = pmap_l1_to_l2(pde, va); KASSERT(pmap_load(pte) == 0, ("pmap_alloc_l3: TODO: l1 superpages")); #endif break; case 2: break; default: panic("pmap_alloc_l3: Invalid level %d", lvl);j&><j