Searched refs:ppn (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/machine/
H A Dvm.h27 static inline pte_t pte_create(uintptr_t ppn, int type) argument
29 return (ppn << PTE_PPN_SHIFT) | PTE_V | type;
32 static inline pte_t ptd_create(uintptr_t ppn) argument
34 return pte_create(ppn, PTE_V);
/seL4-camkes-master/tools/riscv-pk/pk/
H A Dmmap.c84 static uintptr_t ppn(uintptr_t addr) function
99 *pte = ptd_create(ppn(__page_alloc()));
177 uintptr_t ppn = vpn + (first_free_paddr / RISCV_PGSIZE); local
180 *pte = pte_create(ppn, prot_to_type(PROT_READ|PROT_WRITE, 0));
193 *pte = pte_create(ppn, prot_to_type(v->prot, 1));
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c65 word_t ppn = (word_t)(phys_addr >> 12); local
71 return pte_new(ppn,

Completed in 36 milliseconds