Searched refs:decodeX86ModeMapPage (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | vspace.h | 95 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap,
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 652 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage() function
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1506 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage() function
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 1066 …return decodeX86ModeMapPage(invLabel, frameSize, cte, cap, vspace, vaddr, paddr, vmRights, vmAttr); in decodeX86FrameInvocation()
|
Completed in 10 milliseconds