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

/seL4-refos-master/kernel/include/machine/
H A Dcapdl.h22 void print_cap(cap_t cap);
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c156 print_cap(nextPtr->cap);
308 print_cap(c.cap);
361 print_cap(ntfn_cap);
405 void print_cap(cap_t cap) function

Completed in 22 milliseconds