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

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h109 #define CPTR_TASKCN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_TASKCN) macro
/barrelfish-2018-10-04/lib/barrelfish/
H A Dcapabilities.c37 .cnode = CPTR_TASKCN_BASE, \

Completed in 32 milliseconds