Home
last modified time | relevance | path

Searched refs:core_id (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/arch/riscv/smp/
A Dipi.c81 word_t core_id = hartIDToCoreID(hart_id); in ipi_send_target() local
82 assert(core_id < CONFIG_MAX_NUM_NODES); in ipi_send_target()
85 assert((ipiIrq[core_id] == irqInvalid) || (ipiIrq[core_id] == irq_reschedule_ipi) || in ipi_send_target()
86 … (ipiIrq[core_id] == irq_remote_call_ipi && big_kernel_lock.node_owners[core_id].ipi == 0)); in ipi_send_target()
88 ipiIrq[core_id] = irq; in ipi_send_target()
/seL4-master/src/arch/arm/machine/
A Dgic_v3.c57 static inline word_t get_mpidr(word_t core_id) in get_mpidr() argument
59 return mpidr_map[core_id]; in get_mpidr()
64 word_t core_id = CURRENT_CPU_INDEX(); in get_current_mpidr() local
65 return get_mpidr(core_id); in get_current_mpidr()
183 int core_id = CURRENT_CPU_INDEX(); in gicr_locate_interface() local
200 if (gic_rdist_map[core_id] != NULL || gic_rdist_sgi_ppi_map[core_id] != NULL) { in gicr_locate_interface()
203 core_id, in gicr_locate_interface()
204 …gic_rdist_map[core_id] == NULL ? (void *)gic_rdist_map[core_id] : (void *)gic_rdist_sgi_ppi_map[co… in gicr_locate_interface()
207 gic_rdist_map[core_id] = (void *)gicr; in gicr_locate_interface()
215 val = gic_rdist_map[core_id]->waker; in gicr_locate_interface()
[all …]
/seL4-master/include/arch/riscv/arch/model/
A Dsmp.h40 static inline void add_hart_to_core_map(word_t hart_id, word_t core_id) in add_hart_to_core_map() argument
42 assert(core_id < CONFIG_MAX_NUM_NODES); in add_hart_to_core_map()
43 coreMap.map[core_id] = hart_id; in add_hart_to_core_map()
/seL4-master/src/arch/riscv/kernel/
A Dboot.c152 BOOT_CODE static bool_t try_init_kernel_secondary_core(word_t hart_id, word_t core_id) in try_init_kernel_secondary_core() argument
455 word_t core_id in init_kernel() argument
462 add_hart_to_core_map(hart_id, core_id); in init_kernel()
463 if (core_id == 0) { in init_kernel()
471 result = try_init_kernel_secondary_core(hart_id, core_id); in init_kernel()
/seL4-master/include/arch/riscv/arch/kernel/
A Dboot.h27 word_t core_id

Completed in 7 milliseconds