Searched refs:kernel_vaddr (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c322 pptr_t kernel_vaddr; local
344 kernel_vaddr = (word_t)paddr_to_pptr(paddr);
345 value = (word_t *)(kernel_vaddr + offset);
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1548 pptr_t kernel_vaddr; local
1579 kernel_vaddr = (word_t)paddr_to_pptr(paddr);
1580 value = (word_t *)(kernel_vaddr + offset);
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2864 pptr_t kernel_vaddr; local
2896 kernel_vaddr = (word_t)paddr_to_pptr(paddr);
2897 value = (word_t *)(kernel_vaddr + offset);
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2472 pptr_t kernel_vaddr; local
2483 kernel_vaddr = (word_t)paddr_to_pptr(lookup_frame_ret.frameBase);
2484 value = (word_t *)(kernel_vaddr + offset);

Completed in 101 milliseconds