Home
last modified time | relevance | path

Searched refs:ksNumCPUs (Results 1 – 9 of 9) sorted by relevance

/seL4-master/src/arch/riscv/kernel/
A Dboot.c161 ksNumCPUs++; in try_init_kernel_secondary_core()
172 while (ksNumCPUs != CONFIG_MAX_NUM_NODES) { in release_secondary_cores()
429 ksNumCPUs = 1; in try_init_kernel()
/seL4-master/src/arch/arm/kernel/
A Dboot.c277 ksNumCPUs++; in try_init_kernel_secondary_core()
305 while (ksNumCPUs != CONFIG_MAX_NUM_NODES) { in release_secondary_cpus()
599 ksNumCPUs = 1; in try_init_kernel()
/seL4-master/src/model/
A Dstatedata.c21 word_t ksNumCPUs; variable
/seL4-master/src/arch/x86/32/object/
A Dobjecttype.c86 … invalidateTLBEntry(KS_LOG_PPTR + (idx << seL4_PageBits), MASK(ksNumCPUs)); in Mode_finaliseCap()
/seL4-master/include/model/
A Dstatedata.h94 extern word_t ksNumCPUs;
/seL4-master/src/arch/x86/kernel/
A Dboot.c178 populate_bi_frame(0, ksNumCPUs, ipcbuf_vptr, extra_bi_size); in init_sys_state()
A Dboot_sys.c487 ksNumCPUs = boot_state.num_cpus; in try_boot_sys()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c714 invalidateTLBEntry(KS_LOG_PPTR + (idx << seL4_PageBits), MASK(ksNumCPUs)); in benchmark_arch_map_logBuffer()
/seL4-master/src/object/
A Dtcb.c509 if (affinity >= ksNumCPUs) { in decodeSetAffinity()

Completed in 49 milliseconds