Searched defs:cnode (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/machine/
A D	capdl.c	165 void obj_cnode_print_attrs(cap_t cnode) in obj_cnode_print_attrs() 170 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb) in obj_tcb_print_cnodes() 199 void cap_cnode_print_attrs(cap_t cnode) in cap_cnode_print_attrs()
/seL4-master/include/kernel/
A D	boot.h	99 pptr_t cnode; member
/seL4-master/src/object/
A D	cnode.c	896 cap_t cnode; in getReceiveSlots() local

Completed in 9 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023