Lines Matching defs:my_core_id
30 coreid_t my_core_id;
97 err = caps_create_new(cap_type, base_addr, size, size, my_core_id,
153 OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id,
175 OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id,
183 OBJSIZE_L2CNODE, my_core_id, st->pagecn);
189 OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id,
196 OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id,
204 OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id, st->supercn);
215 OBJSIZE_L2CNODE, my_core_id, st->slot_alloc_cn0);
221 OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id,
229 my_core_id, st->physaddrcn);
237 OBJSIZE_L2CNODE, my_core_id, st->modulecn);
247 OBJSIZE_DISPATCHER, 0, my_core_id, init_dcb_cte);
262 my_core_id, init_dispframe_cte);
274 1UL << ARGS_FRAME_BITS, 1UL << ARGS_FRAME_BITS, my_core_id,
288 1UL << BOOTINFO_SIZEBITS, my_core_id, bootinfo_cte);
295 err = caps_create_new(ObjType_Kernel, 0, 0, 0, my_core_id, kernelcap_cte);
301 err = caps_create_new(ObjType_PerfMon, 0, 0, 0, my_core_id, perfmoncap_cte);
305 err = caps_create_new(ObjType_IRQTable, 0, 0, 0, my_core_id,
312 err = caps_create_new(ObjType_IPI, 0, 0, 0, my_core_id, ipicap_cte);
318 err = caps_create_new(ObjType_ProcessManager, 0, 0, 0, my_core_id,
328 init_disp->curr_core_id = my_core_id;
369 L2_CNODE_SLOTS * BASE_PAGE_SIZE, BASE_PAGE_SIZE, my_core_id,
375 EARLY_CNODE_ALLOCATED_SLOTS * OBJSIZE_L2CNODE, OBJSIZE_L2CNODE, my_core_id,