Home
last modified time | relevance | path

Searched defs:cpu (Results 1 – 11 of 11) sorted by relevance

/seL4-master/include/arch/riscv/arch/smp/
A Dipi_inline.h11 static inline void doRemoteStall(word_t cpu) in doRemoteStall()
17 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) in doRemoteswitchFpuOwner()
/seL4-master/include/arch/x86/arch/smp/
A Dipi_inline.h13 static inline void doRemoteStall(word_t cpu) in doRemoteStall()
18 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) in doRemoteswitchFpuOwner()
44 static inline void doRemoteClearCurrentVCPU(word_t cpu) in doRemoteClearCurrentVCPU()
49 static inline void doRemoteVMCheckBoundNotification(word_t cpu, tcb_t *tcb) in doRemoteVMCheckBoundNotification()
/seL4-master/include/arch/arm/arch/smp/
A Dipi_inline.h13 static inline void doRemoteStall(word_t cpu) in doRemoteStall()
19 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) in doRemoteswitchFpuOwner()
40 static inline void doRemoteMaskPrivateInterrupt(word_t cpu, word_t disable, word_t irq) in doRemoteMaskPrivateInterrupt()
/seL4-master/include/smp/
A Dipi.h94 … void inline doRemoteOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t cpu) in doRemoteOp()
131 static void inline doRemoteOp0Arg(IpiRemoteCall_t func, word_t cpu) in doRemoteOp0Arg()
136 static void inline doRemoteOp1Arg(IpiRemoteCall_t func, word_t data1, word_t cpu) in doRemoteOp1Arg()
141 static void inline doRemoteOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t cpu) in doRemoteOp2Arg()
146 …d inline doRemoteOp3Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t cpu) in doRemoteOp3Arg()
163 static void inline doReschedule(word_t cpu) in doReschedule()
A Dlock.h55 static inline bool_t FORCE_INLINE clh_is_ipi_pending(word_t cpu) in clh_is_ipi_pending()
61 irqPath, word_t cpu, int memorder) in sel4_atomic_exchange()
93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath) in clh_lock_acquire()
123 static inline void FORCE_INLINE clh_lock_release(word_t cpu) in clh_lock_release()
/seL4-master/include/arch/x86/arch/kernel/
A Dtlb_bitmap.h25 static inline void tlb_bitmap_set(vspace_root_t *root, word_t cpu) in tlb_bitmap_set()
31 static inline void tlb_bitmap_unset(vspace_root_t *root, word_t cpu) in tlb_bitmap_unset()
/seL4-master/include/model/
A Dsmp.h17 archNodeState_t cpu; member
/seL4-master/include/arch/x86/arch/
A Dmachine.h272 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) in x86_write_fs_base()
277 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) in x86_write_gs_base()
282 static inline word_t x86_read_fs_base(cpu_id_t cpu) in x86_read_fs_base()
287 static inline word_t x86_read_gs_base(cpu_id_t cpu) in x86_read_gs_base()
297 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) in x86_write_fs_base()
305 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) in x86_write_gs_base()
313 static inline word_t x86_read_fs_base(cpu_id_t cpu) in x86_read_fs_base()
318 static inline word_t x86_read_gs_base(cpu_id_t cpu) in x86_read_gs_base()
326 static inline void x86_load_fsgs_base(tcb_t *thread, cpu_id_t cpu) in x86_load_fsgs_base()
/seL4-master/src/machine/
A Dfpu.c30 void switchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) in switchFpuOwner()
/seL4-master/include/arch/x86/arch/64/mode/
A Dmachine.h260 static inline void x86_save_fsgs_base(tcb_t *thread, cpu_id_t cpu) in x86_save_fsgs_base()
/seL4-master/src/object/
A Dtcb.c52 static inline void addToBitmap(word_t cpu, word_t dom, word_t prio) in addToBitmap()
68 static inline void removeFromBitmap(word_t cpu, word_t dom, word_t prio) in removeFromBitmap()

Completed in 34 milliseconds