Searched refs:init_rootcn (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/
H A Dkcb.h52 struct cte init_rootcn; member in struct:kcb
/barrelfish-master/kernel/
H A Dsys_debug.c52 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&kcb->init_rootcn.cap));
H A Dstartup.c140 struct cte *rootcn = &kcb_current->init_rootcn;

Completed in 82 milliseconds