Searched refs:CDL_CapData_Guard (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h97 #define CDL_CapData_Guard 1 macro
418 { .tag = CDL_CapData_Guard, .guard_bits = (y), .guard_size = (x) }
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c159 case CDL_CapData_Guard:

Completed in 41 milliseconds