Searched refs:new_vroot (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ | ||
| H A D | fastpath.h | 39 word_t new_vroot = pptr_to_paddr(vroot); local 42 cr3_t next_cr3 = makeCR3(new_vroot, asid); |
Completed in 24 milliseconds