PTE_WRITE         106 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE | PTE_USER);
PTE_WRITE         111 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE);
PTE_WRITE         115 bsp/hal/x86/arch/mmu.c 		pte_flag = (uint32_t)(PTE_PRESENT | PTE_WRITE | PTE_NCACHE);