PTE_CACHE
case PTE_CACHE:
case PTE_CACHE:
case PTE_CACHE:
PROT_READ | PROT_EXEC, PTE_CACHE);
PROT_READ, PTE_CACHE);
PROT_READ | PROT_WRITE, PTE_CACHE);
IRQ_STACK_SIZE * PAGE_SIZE, PROT_READ | PROT_WRITE, PTE_CACHE);
ABT_STACK_SIZE * PAGE_SIZE, PROT_READ | PROT_WRITE, PTE_CACHE);
UND_STACK_SIZE * PAGE_SIZE, PROT_READ | PROT_WRITE, PTE_CACHE);
UPAGES * PAGE_SIZE, PROT_READ | PROT_WRITE, PTE_CACHE);
PROT_READ | PROT_WRITE, PTE_CACHE);
PROT_READ | PROT_WRITE, PTE_CACHE);
PROT_READ | PROT_WRITE, PTE_CACHE);