pde_flag           85 bsp/hal/x86/arch/mmu.c 	uint32_t pde_flag = 0;
pde_flag           99 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE | PDE_USER);
pde_flag          103 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE | PDE_USER);
pde_flag          107 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE | PDE_USER);
pde_flag          110 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE);
pde_flag          114 bsp/hal/x86/arch/mmu.c 		pde_flag = (uint32_t)(PDE_PRESENT | PDE_WRITE);
pde_flag          133 bsp/hal/x86/arch/mmu.c 			pgd[PAGE_DIR(va)] = (uint32_t)pg | pde_flag;