Searched defs:hart_mask (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/include/arch-riscv/
H A Dsbi.h68 static inline void sbi_send_ipi(const unsigned long *hart_mask) argument
73 static inline void sbi_remote_fence_i(const unsigned long *hart_mask) argument
78 static inline void sbi_remote_sfence_vma(const unsigned long *hart_mask, argument
85 static inline void sbi_remote_sfence_vma_asid(const unsigned long *hart_mask, argument
/seL4-test-master/kernel/src/arch/riscv/smp/
H A Dipi.c80 unsigned long hart_mask; local
/seL4-test-master/kernel/include/arch/riscv/arch/
H A Dsbi.h99 static inline void sbi_send_ipi(const unsigned long *hart_mask) argument
104 static inline void sbi_remote_fence_i(const unsigned long *hart_mask) argument
109 static inline void sbi_remote_sfence_vma(const unsigned long *hart_mask, argument
116 static inline void sbi_remote_sfence_vma_asid(const unsigned long *hart_mask, argument
/seL4-test-master/tools/riscv-pk/machine/
H A Dfdt.c210 uint64_t hart_mask; variable

Completed in 107 milliseconds