/seL4-camkes-master/kernel/include/arch/riscv/arch/smp/ |
H A D | ipi_inline.h | 11 static inline void doRemoteStall(word_t cpu) argument 17 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) argument
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | tlb_bitmap.h | 25 static inline void tlb_bitmap_set(vspace_root_t *root, word_t cpu) argument [all...] |
/seL4-camkes-master/kernel/include/model/ |
H A D | smp.h | 17 archNodeState_t cpu; member in struct:smpStatedata
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | fpu.c | 30 void switchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) argument
|
/seL4-camkes-master/projects/musllibc/src/sched/ |
H A D | sched_getcpu.c | 15 static long getcpu_init(unsigned *cpu, unsigned *node, void *unused) argument 30 unsigned cpu; local
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/smp/ |
H A D | common.c | 28 int __attribute__((weak)) plat_cpu_on(struct elfloader_cpu *cpu, void *entry, void *stack) argument
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 18 from hardware.utils import cpu, memory, rule namespace [all...] |
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/drivers/ |
H A D | smp-psci.c | 17 smp_psci_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
|
H A D | smp-zynq7000.c | 46 smp_zynq7000_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
|
H A D | smp-imx6.c | 49 smp_imx6_cpu_on(UNUSED struct elfloader_device *dev, UNUSED struct elfloader_cpu *cpu, UNUSED void *entry, UNUSED void *stack) argument
|
/seL4-camkes-master/kernel/include/arch/arm/arch/smp/ |
H A D | ipi_inline.h | 13 static inline void doRemoteStall(word_t cpu) argument 19 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) argument 40 static inline void doRemoteMaskPrivateInterrupt(word_t cpu, word_t disable, word_t irq) argument
|
/seL4-camkes-master/kernel/include/arch/x86/arch/smp/ |
H A D | ipi_inline.h | 13 static inline void doRemoteStall(word_t cpu) argument 18 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) argument 44 static inline void doRemoteClearCurrentVCPU(word_t cpu) argument 49 static inline void doRemoteVMCheckBoundNotification(word_t cpu, tcb_t *tcb) argument
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | hypervisor.c | 43 int cpu = 0; local
|
H A D | events.c | 71 int cpu = 0; local
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | generate_tactic_statistics.py | 94 cpu = [d['cpu'] for d in tactic_times[key][expr]] variable
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/imx7/ |
H A D | smp.c | 65 static void src_enable_cpu(int cpu) argument 76 static void src_set_cpu_jump(int cpu, unsigned int jump_addr) argument
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/exynos5/ |
H A D | platform_init.c | 64 void boot_cpu(int cpu, uintptr_t entry) argument
|
/seL4-camkes-master/kernel/include/smp/ |
H A D | lock.h | 55 static inline bool_t FORCE_INLINE clh_is_ipi_pending(word_t cpu) argument 93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath) argument 60 sel4_atomic_exchange(void *ptr, bool_t irqPath, word_t cpu, int memorder) argument 123 clh_lock_release(word_t cpu) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 70 } cpu; member in union:__anon1::__anon2
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 260 static inline void x86_save_fsgs_base(tcb_t *thread, cpu_id_t cpu) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | clock.c | 305 exynos5_clock_sys_init(void* cpu, void* core, void* acp, void* isp, void* top, argument
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | fdt.c | 213 const struct fdt_scan_node *cpu; member in struct:hart_scan [all...] |
/seL4-camkes-master/kernel/include/arch/x86/arch/ |
H A D | machine.h | 272 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) argument 277 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) argument 282 static inline word_t x86_read_fs_base(cpu_id_t cpu) argument 287 static inline word_t x86_read_gs_base(cpu_id_t cpu) argument 297 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) argument 305 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) argument 313 x86_read_fs_base(cpu_id_t cpu) argument 318 x86_read_gs_base(cpu_id_t cpu) argument 326 x86_load_fsgs_base(tcb_t *thread, cpu_id_t cpu) argument [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | tcb.c | 52 static inline void addToBitmap(word_t cpu, word_t dom, word_t prio) argument 68 static inline void removeFromBitmap(word_t cpu, word_t dom, word_t prio) argument
|