Searched refs:ROOTCN_SLOT_ADDR (Results 1 - 8 of 8) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h106 #define ROOTCN_SLOT_ADDR(slot) ((slot) << L2_CNODE_BITS) macro
109 #define CPTR_TASKCN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_TASKCN)
110 #define CPTR_BASE_PAGE_CN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_BASE_PAGE_CN)
111 #define CPTR_SUPERCN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_SUPERCN)
112 #define CPTR_PHYADDRCN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_PACN)
113 #define CPTR_MODULECN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_MODULECN)
114 #define CPTR_PAGECN_BASE ROOTCN_SLOT_ADDR(ROOTCN_SLOT_PAGECN)
/barrelfish-2018-10-04/lib/driverkit/
H A Dmap_devices.c34 .cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_ARGCN),
/barrelfish-2018-10-04/lib/mm/
H A Dslot_alloc.c128 this->cap.cnode.cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_SLOT_ALLOC0);
/barrelfish-2018-10-04/usr/mem_serv/
H A Dmem_serv.c398 .cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_SLOT_ALLOC0),
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/
H A Dboot_arch.c179 realmodecap.cnode.cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_ARGCN);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dcapabilities.c603 cnoderef->cnode = ROOTCN_SLOT_ADDR(dest_slot);
/barrelfish-2018-10-04/usr/mem_serv_dist/
H A Dmem_serv.c526 .cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_SLOT_ALLOC0),
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c1024 cnode.cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_PAGECN);

Completed in 104 milliseconds