Searched refs:word_t (Results 1 - 25 of 308) sorted by relevance

1234567891011>>

/seL4-refos-master/kernel/include/
H A Dstring.h11 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 Dmachine_pl2.h11 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 Dtypes.h19 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 Dtypes.h16 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 Dfaults.c13 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 Dfastpath.h18 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 Dtraps.h21 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 Dfastpath.h21 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 Dmachine_pl2.h19 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 Dmachine.h32 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 Dipc_buffer.h12 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 Dioapic.h18 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 Dfaults.h12 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 Dfailures.h23 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 Dipi_inline.h11 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 Dipi.h22 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 Dmachine.h19 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 Dtypes.h19 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 Dipi.h18 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 Dinterrupt.h20 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 Dtraps.h25 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 Dipi_inline.h13 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 Dstring.c11 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 Dipi_inline.h13 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 Ddebug.h14 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)

Completed in 182 milliseconds

1234567891011>>