Searched defs:cap_vtable_cap_new (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
| H A D | vspace.h | 73 #define cap_vtable_cap_new(_a, _v, _m) cap_page_upper_directory_cap_new(_a, _v, _m, 0, CB_INVALID) macro
79 #define cap_vtable_cap_new(_a, _v, _m) cap_page_upper_directory_cap_new(_a, _v, _m, 0) macro
115 #define cap_vtable_cap_new(_a, _v, _m) \ macro
122 #define cap_vtable_cap_new(_a, _v, _m) \ macro
|
Completed in 30 milliseconds