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

/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h498 static inline seL4_Word CDL_Obj_Paddr(CDL_Object *obj) function
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c583 return CDL_Obj_Paddr(obj) != 0;
668 seL4_Word paddr = CDL_Obj_Paddr(obj);
1508 if (!(vm_attribs & seL4_ARM_PageCacheable) && CDL_Obj_Paddr(&spec->objects[page]) == 0) {

Completed in 35 milliseconds