Home
last modified time | relevance | path

Searched defs:decodeX86ModeMapPage (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c652 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 Dvspace.c1506 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage() function

Completed in 7 milliseconds