/barrelfish-master/lib/posixcompat/ |
H A D | inheritance.c | 179 .cnode = cnode_task,
|
/barrelfish-master/usr/drivers/usb/usb_manager/ |
H A D | usb_manager.c | 258 .cnode = cnode_root,
|
/barrelfish-master/usr/kaluga/ |
H A D | start_cpu.c | 86 // State for delayed cleanup of inherit cnode 94 // associated inherit cnode that was given to `corectrl boot n`. 198 task_cap_kernel.cnode = cnode_task; 231 // Cannot just delete inherit cnode capability here, as deleting any CNode 232 // copy will always delete all copies of the CNode. Store inherit cnode
|
H A D | x86.c | 75 .cnode = arg.argnode_ref,
|
H A D | armv7_startup.c | 213 device_cap.cnode = dev_cnode; 227 // put them all in a single cnode 290 // put them all in a single cnode
|
/barrelfish-master/usr/monitor/ |
H A D | monitor_server.c | 63 .cnode = cnode_module, 1019 .cnode = si->taskcn, 1031 dest.cnode = si->taskcn; 1033 src.cnode = cnode_task;
|
H A D | monitor_rpc_server.c | 332 .cnode = cnode_root, 358 .cnode = cnode_task, 459 .cnode = cnode_task,
|
H A D | inter.c | 443 .cnode = cnode_task, 469 trace_cap.cnode = cnode_task;
|
/barrelfish-master/usr/proc_mgmt/ |
H A D | domain.c | 33 * \brief Allocates a new L2 cnode and fills it with domain capabilities. 46 .cnode = new_cnode,
|
/barrelfish-master/kernel/ |
H A D | capabilities.c | 766 temp_cap.u.l1cnode.cnode = lpaddr + dest_i * objsize; 779 temp_cap.u.l2cnode.cnode = lpaddr + dest_i * objsize; 1301 // cnode. 1381 struct capability *cnode; local 1382 err = caps_lookup_cap(root, cnode_cptr, cnode_level, &cnode, 1387 if (cnode->type != ObjType_L1CNode && 1388 cnode->type != ObjType_L2CNode) 1393 struct cte *dest = caps_locate_slot(get_address(cnode), dest_slot); 1797 /* check that destination slots all fit within target cnode */ 1799 debug(SUBSYS_CAPS, "caps_retype: dest slots don't fit in cnode\ [all...] |
/barrelfish-master/usr/bench/cow/ |
H A D | pmap_cow.c | 58 // retype into 4k caps in new cnode 79 .cnode = nextcn, 82 // Create empty cnode for retypes to frames/ptables in cow_get_page 89 .cnode = nextcn,
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | startup_arch.c | 36 /// Quick way to find the base address of a cnode capability 37 #define CNODE(cte) (cte)->cap.u.cnode.cnode 275 * to the cnode (and we can't handle such big caps in user-space 438 // Map IO cap in task cnode
|
/barrelfish-master/usr/drivers/imx8x/sdhc/ |
H A D | sdhc.c | 658 .cnode = bfi->argcn }; 667 irq_src.cnode = bfi->argcn;
|
/barrelfish-master/usr/mem_serv_dist/ |
H A D | mem_serv.c | 522 // Use ROOTCN_SLOT_SLOT_ALLOC0 as initial cnode for mm slot allocator 524 .cnode = { 526 .cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_SLOT_ALLOC0),
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 60 \subsection{CNode}\label{sec:cnode} 119 cnode 64 "Physical base address of CNode"; 127 cnode 64 "Physical base address of CNode"; 157 \arg Capability address of destination root cnode relative to our cspace 160 \arg Capability address of source root cnode relative to our cspace 270 cnode 64 "Physical base address of CNode"; 847 \arg CSpace address of the dispatcher's L1 cnode capability 848 \arg Level in our CSpace of the L1 cnode capability
|
/barrelfish-master/lib/barrelfish/ |
H A D | dispatch.c | 184 disp_gen->dcb_cap.cnode = cnode_task;
|
H A D | spawn_client.c | 988 * \brief Utility function to create an inherit cnode 993 * \param fdcap fdcap to copy into inherit cnode. 994 * \param sidcap sidcap to copy into inherit cnode. 995 * \param kernelcap kernelcap to copy into inherit cnode. 1017 .cnode = inheritcn, 1029 .cnode = inheritcn, 1041 .cnode = inheritcn,
|
/barrelfish-master/usr/bench/distops/ |
H A D | delete_cnode_last_copy.c | 193 printf("# node %d: allocating ram for cnode\n", my_core_id); 245 err = cnode_create_from_mem(cn, ns->cap, ObjType_L2CNode, &slot.cnode, L2_CNODE_SLOTS);
|
/barrelfish-master/usr/drivers/pl390_dist/ |
H A D | main.c | 309 .cnode = bfi->argcn,
|
/barrelfish-master/usr/vnode_map_test/ |
H A D | vnode_map_test.c | 85 .cnode = cnode_page,
|
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 573 it in the I/O slot in a task cnode.}, label={lst:capcreate}] 593 \varname{TASKCN\_SLOT\_IO} as an index to the cnode table. Once init is 596 find the code (Listing~\ref{lst:slotio}) doing just that to propagate the capability on to the monitors task cnode. Notice that \fnname{cap\_copy} is 598 his task cnode if somebody requests it (for example by using \fnname{get\_io\_cap}, 604 dest.cnode = si->taskcn; 606 src.cnode = cnode_task;
|
/barrelfish-master/usr/tests/capops/ |
H A D | retype.c | 143 err = cnode_create_from_mem(cncap, cnram, &tmp.cnode, DEFAULT_CNODE_BITS);
|
/barrelfish-master/lib/barrelfish/arch/aarch64/ |
H A D | pmap.c | 45 * cnode full of 1k- sized RAM caps?) 778 * Initialize root vnode mapping cnode 782 * for now, for our own pmap, we use the left over slot allocator cnode to 783 * provide the mapping cnode for the first half of the root page table as 787 pmap_aarch64->root.u.vnode.mcn[0].cnode = cnode_root; 790 pmap_aarch64->root.u.vnode.mcnode[0].cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_ROOT_MAPPING);
|
/barrelfish-master/usr/pci/ |
H A D | pci_service.c | 945 kaluga_ep.cnode = build_cnoderef(cap_argcn, CNODE_TYPE_OTHER); 957 .cnode = build_cnoderef(cap_argcn, CNODE_TYPE_OTHER),
|
/barrelfish-master/lib/bomp/backends/ |
H A D | xomp_worker.c | 665 .cnode = cnode_root,
|