Searched defs:pte_t (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ | ||
H A D | types.h | 39 typedef struct { unsigned long pte_low, pte_high; } pte_t; typedef in typeref:struct:__anon908 43 typedef struct { unsigned long pte; } pte_t; typedef in typeref:struct:__anon909 |
/seL4-camkes-master/tools/riscv-pk/machine/ | ||
H A D | vm.h | 19 typedef uintptr_t pte_t; typedef |
Completed in 28 milliseconds