Searched refs:global_kernel_vspace (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ | ||
| H A D | vspace.c | 349 pte_t *global_kernel_vspace = kernel_root_pageTable; local 352 newLvl1pt[i] = global_kernel_vspace[i]; |
Completed in 25 milliseconds