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