/seL4-refos-master/kernel/include/ |
H A D | string.h | 11 word_t strnlen(const char *s, word_t maxlen); 12 word_t strlcpy(char *dest, const char *src, word_t size); 13 word_t strlcat(char *dest, const char *src, word_t size);
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
H A D | machine_pl2.h | 11 static inline void writeTPIDR_EL2(word_t reg) 16 static inline word_t readTPIDR_EL2(void) 18 word_t reg; 25 static inline void writeTPIDR_EL2(word_t reg) {} 26 static inline word_t readTPIDR_EL2(void) 36 static inline void writeContextIDPL2(word_t pd_val) {} 37 static inline void writeContextIDAndPD(word_t id, word_t pd_val) {}
|
/seL4-refos-master/kernel/include/arch/x86/arch/ |
H A D | types.h | 19 typedef unsigned long word_t; typedef 21 typedef word_t vptr_t; 22 typedef word_t paddr_t; 23 typedef word_t pptr_t; 24 typedef word_t cptr_t; 25 typedef word_t dev_id_t; 26 typedef word_t cpu_id_t; 28 typedef word_t node_id_t; 29 typedef word_t dom_t; 32 typedef word_t seL4_Wor [all...] |
/seL4-refos-master/kernel/include/arch/riscv/arch/ |
H A D | types.h | 16 typedef unsigned long word_t; typedef 18 typedef word_t vptr_t; 19 typedef word_t paddr_t; 20 typedef word_t pptr_t; 21 typedef word_t cptr_t; 22 typedef word_t dev_id_t; 23 typedef word_t cpu_id_t; 24 typedef word_t node_id_t; 25 typedef word_t dom_t; 28 typedef word_t seL4_Wor [all...] |
/seL4-refos-master/kernel/src/arch/x86/api/ |
H A D | faults.c | 13 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType) 24 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType) 41 word_t handleKernelException( 42 word_t vector, 43 word_t errcode, 44 word_t ip, 45 word_t sp, 46 word_t flag [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/fastpath/ |
H A D | fastpath.h | 18 void fastpath_call(word_t cptr, word_t r_msgInfo) 23 void fastpath_reply_recv(word_t cptr, word_t r_msgInfo, word_t reply) 25 void fastpath_reply_recv(word_t cptr, word_t r_msgInfo)
|
/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | traps.h | 21 void c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, 22 word_t unused5, syscall_t syscall)
|
/seL4-refos-master/kernel/include/arch/x86/arch/fastpath/ |
H A D | fastpath.h | 21 void fastpath_call(word_t cptr, word_t r_msgInfo) 25 void fastpath_reply_recv(word_t cptr, word_t r_msgInfo, word_t reply) 27 void fastpath_reply_recv(word_t cptr, word_t r_msgInfo)
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
H A D | machine_pl2.h | 19 static inline void writeContextIDPL2(word_t id) 21 word_t pd_val, vmid; 32 static inline void writeContextIDAndPD(word_t id, word_t pd_val) 49 word_t pd_val, vmid; 58 word_t zero = 0; 64 static inline void setVTCR(word_t r) 71 static inline void setHCR(word_t r) 78 static inline word_t getHCR(void) 80 word_t HC [all...] |
H A D | machine.h | 32 word_t _v = v; \ 85 word_t PURE getRestartPC(tcb_t *thread); 86 void setNextPC(tcb_t *thread, word_t v); 90 static inline word_t getProcessorID(void) 92 word_t processor_id; 98 static inline word_t readSystemControlRegister(void) 100 word_t scr; 106 static inline void writeSystemControlRegister(word_t scr) 112 static inline word_t readAuxiliaryControlRegister(void) 114 word_t ac [all...] |
/seL4-refos-master/kernel/include/64/mode/api/ |
H A D | ipc_buffer.h | 12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) 17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread)
|
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
H A D | ioapic.h | 18 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector); 21 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vecto [all...] |
/seL4-refos-master/kernel/include/api/ |
H A D | faults.h | 12 word_t setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer); 13 word_t Arch_setMRs_fault(tcb_t *sender, tcb_t *receiver, word_t *receiveIPCBuffer, word_t faultType); 16 bool_t Arch_handleFaultReply(tcb_t *receiver, tcb_t *sender, word_t faultType);
|
H A D | failures.h | 23 typedef word_t exception_t; 25 typedef word_t syscall_error_type_t; 28 word_t invalidArgumentNumber; 29 word_t invalidCapNumber; 30 word_t rangeErrorMin; 31 word_t rangeErrorMax; 32 word_t memoryLeft; 41 word_t errorMessage[DEBUG_MESSAGE_MAXLEN];
|
/seL4-refos-master/kernel/include/arch/riscv/arch/smp/ |
H A D | ipi_inline.h | 11 static inline void doRemoteStall(word_t cpu) 17 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) 19 doRemoteOp1Arg(IpiRemoteCall_switchFpuOwner, (word_t)new_owner, cpu);
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 22 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2); 24 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) 26 doRemoteMaskOp3Arg((IpiRemoteCall_t)IpiRemoteCall_InvalidatePCID, type, (word_t)vaddr, asid, mask); 29 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) 31 doRemoteMaskOp2Arg((IpiRemoteCall_t)IpiRemoteCall_InvalidateASID, (word_t)vspace, asid, mask);
|
/seL4-refos-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 19 p_region_t get_dev_p_reg(word_t i); 36 void cleanInvalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 37 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 38 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart); 39 void invalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 40 void invalidateCacheRange_I(word_t star [all...] |
H A D | types.h | 19 typedef unsigned long word_t; typedef 21 typedef word_t vptr_t; 22 typedef word_t paddr_t; 23 typedef word_t pptr_t; 24 typedef word_t cptr_t; 25 typedef word_t node_id_t; 26 typedef word_t cpu_id_t; 27 typedef word_t dom_t; 37 typedef word_t seL4_Word;
|
/seL4-refos-master/kernel/include/smp/ |
H A D | ipi.h | 18 word_t count; 19 word_t globalsense; 21 PAD_TO_NEXT_CACHE_LN(sizeof(word_t) + sizeof(word_t)); 24 static volatile word_t totalCoreBarrier; /* number of cores involved in IPI 'in progress' */ 25 static word_t ipi_args[MAX_IPI_ARGS]; /* data to be passed to the remote call function */ 27 static inline word_t get_ipi_arg(word_t n) 33 static inline void ipi_wait(word_t cores) 35 word_t localsens [all...] |
/seL4-refos-master/kernel/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, 22 word_t *buffer); 23 exception_t Arch_checkIRQ(word_t irq_w);
|
/seL4-refos-master/kernel/include/arch/arm/arch/kernel/ |
H A D | traps.h | 25 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) 29 void c_handle_fastpath_call(word_t cptr, word_t msgInfo) 33 void c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) 35 void c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo) 53 void c_handle_vcpu_fault(word_t hs [all...] |
/seL4-refos-master/kernel/include/arch/x86/arch/smp/ |
H A D | ipi_inline.h | 13 static inline void doRemoteStall(word_t cpu) 18 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) 20 doRemoteOp1Arg(IpiRemoteCall_switchFpuOwner, (word_t)new_owner, cpu); 23 static inline void doRemoteInvalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) 28 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) 33 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) 38 static inline void doRemoteInvalidateTranslationAll(word_t mask) 44 static inline void doRemoteClearCurrentVCPU(word_t cpu) 49 static inline void doRemoteVMCheckBoundNotification(word_t cpu, tcb_t *tcb) 51 doRemoteOp1Arg(IpiRemoteCall_VMCheckBoundNotification, (word_t)tc [all...] |
/seL4-refos-master/kernel/src/ |
H A D | string.c | 11 word_t strnlen(const char *s, word_t maxlen) 13 word_t len; 18 word_t strlcpy(char *dest, const char *src, word_t size) 20 word_t len; 28 word_t strlcat(char *dest, const char *src, word_t size) 30 word_t len;
|
/seL4-refos-master/kernel/include/arch/arm/arch/smp/ |
H A D | ipi_inline.h | 13 static inline void doRemoteStall(word_t cpu) 19 static inline void doRemoteswitchFpuOwner(user_fpu_state_t *new_owner, word_t cpu) 21 doRemoteOp1Arg(IpiRemoteCall_switchFpuOwner, (word_t)new_owner, cpu); 25 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) 30 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask) 35 static inline void doRemoteInvalidateTranslationAll(word_t mask) 40 static inline void doRemoteMaskPrivateInterrupt(word_t cpu, word_t disable, word_t irq)
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/ |
H A D | debug.h | 14 static inline word_t readDr6Reg(void) 16 word_t ret; 24 static inline void writeDr6Reg(word_t val) 32 static inline word_t readDr7Reg(void) 34 word_t ret; 42 static inline void writeDr7Reg(word_t val) 50 static inline word_t readDrReg(uint8_t reg) 52 word_t ret; 72 static inline void writeDrReg(uint8_t reg, word_t val)
|