Home
last modified time | relevance | path

Searched refs:cores (Results 1 – 8 of 8) sorted by relevance

/seL4-master/src/plat/bcm2837/
A Doverlay-rpi3.dts29 * bootloader (e.g. armstub). It has parked the secondary cores there,
33 * placed here. In non-SMP configurations, the cores must keep spinning
34 * forever. Re-using this memory will cause the secondary cores to
/seL4-master/src/plat/tx2/
A Dconfig.cmake13 # Note: If we enable the Denver 2 cores, which are 40-bit PA,
14 # the 44-bit PA for Cortex-A57 cores would need to be downgraded to 40bit.
/seL4-master/include/smp/
A Dipi.h33 static inline void ipi_wait(word_t cores) in ipi_wait() argument
37 if (__atomic_fetch_add(&ipiSyncBarrier.count, 1, __ATOMIC_ACQ_REL) == cores) { in ipi_wait()
/seL4-master/src/arch/x86/
A Dconfig.cmake66 "Use logical IDs to broadcast IPI between cores. Not all machines support logical \
67 IDs. In xAPIC mode only 8 cores can be addressed using logical IDs."
332 other cores retraining the branch predictor even after context switch."
/seL4-master/tools/
A Dhardware.yml49 # Assume 8 cores max
/seL4-master/
A Dconfig.cmake291 KernelMaxNumNodes MAX_NUM_NODES "Max number of CPU cores to boot"
/seL4-master/manual/parts/
A Dio.tex404 VSpace between MMUs in CPU cores and SMMU used by device transactions. Moreover,
/seL4-master/tools/dts/
A Dtqma8xqp1gb.dts3497 cores = <0xb6>;

Completed in 15 milliseconds