Home
last modified time | relevance | path

Searched defs:v (Results 1 – 25 of 28) sorted by relevance

12

/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dmachine.h34 #define MRC(cpreg, v) asm volatile("mrc " cpreg : "=r"(v)) argument
35 #define MRRC(cpreg, v) asm volatile("mrrc " cpreg : "=r"(v)) argument
36 #define MCR(cpreg, v) \ argument
41 #define MCRR(cpreg, v) \ argument
47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) argument
48 #define SYSTEM_READ_WORD(reg, v) MRC(reg, v) argument
49 #define SYSTEM_WRITE_64(reg, v) MCRR(reg, v) argument
50 #define SYSTEM_READ_64(reg, v) MRRC(reg, v) argument
A Ddebug.h20 word_t v; in readDscrCp() local
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dmachine.h34 #define MRC(cpreg, v) asm volatile("mrc " cpreg : "=r"(v)) argument
35 #define MRRC(cpreg, v) asm volatile("mrrc " cpreg : "=r"(v)) argument
36 #define MCR(cpreg, v) \ argument
41 #define MCRR(cpreg, v) \ argument
47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) argument
48 #define SYSTEM_READ_WORD(reg, v) MRC(reg, v) argument
49 #define SYSTEM_WRITE_64(reg, v) MCRR(reg, v) argument
50 #define SYSTEM_READ_64(reg, v) MRRC(reg, v) argument
A Ddebug.h20 word_t v; in readDscrCp() local
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dmachine.h29 #define MRS(reg, v) asm volatile("mrs %x0," reg : "=r"(v)) argument
30 #define MSR(reg, v) \ argument
36 #define SYSTEM_WRITE_WORD(reg, v) MSR(reg, v) argument
37 #define SYSTEM_READ_WORD(reg, v) MRS(reg, v) argument
38 #define SYSTEM_WRITE_64(reg, v) MSR(reg, v) argument
39 #define SYSTEM_READ_64(reg, v) MRS(reg, v) argument
A Dtlb.h15 word_t v = (vttbr >> 48); in invalidateLocalTLB_VMID() local
37 word_t v = (vttbr >> 48); in invalidateLocalTLB_IPA_VMID() local
/seL4-master/include/drivers/smmu/
A Dsmmuv2.h251 #define S2CR_SHCFG_SET(v) ((v) << 8) argument
329 #define CBn_TCR_TG1_SET(v) ((v) << 30) argument
330 #define CBn_TCR_SH1_SET(v) ((v) << 28) argument
331 #define CBn_TCR_ORGN1_SET(v) ((v) << 26) argument
332 #define CBn_TCR_IRGN1_SET(v) ((v) << 24) argument
336 #define CBn_TCR_TG0_SET(v) ((v) << 14) argument
337 #define CBn_TCR_SH0_SET(v) ((v) << 12) argument
338 #define CBn_TCR_ORGN0_SET(v) ((v) << 10) argument
339 #define CBn_TCR_IRGN0_SET(v) ((v) << 8) argument
358 #define CBn_TCR_SL0_SET(v) ((v) << 6) argument
[all …]
/seL4-master/include/
A Dstdarg.h9 #define va_start(v,l) __builtin_va_start(v,l) argument
11 #define va_end(v) __builtin_va_end(v) argument
12 #define va_arg(v,l) __builtin_va_arg(v,l) argument
A Dutil.h117 #define _is_set___(_, v, ...) v argument
124 #define _config_ternary__(_, v, ...) v argument
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Duser_access.c29 uint32_t v; in check_export_pmu() local
46 uint32_t v = 0; in check_export_arch_timer() local
65 uint32_t v; in armv_init_user_access() local
A Dcache.c80 int v; in clean_D_PoU() local
101 int v; in cleanInvalidate_D_by_level() local
/seL4-master/src/arch/arm/armv/armv7-a/
A Duser_access.c29 uint32_t v; in check_export_pmu() local
46 uint32_t v = 0; in check_export_arch_timer() local
65 uint32_t v; in armv_init_user_access() local
A Dcache.c80 int v; in clean_D_PoU() local
101 int v; in cleanInvalidate_D_by_level() local
/seL4-master/include/arch/arm/arch/32/mode/kernel/
A Dthread.h8 static inline word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dthread.h9 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
/seL4-master/src/arch/x86/machine/
A Dregisterset.c28 word_t sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()
A Dhardware.c35 void setNextPC(tcb_t *thread, word_t v) in setNextPC()
71 word_t v; in flushCacheRange() local
/seL4-master/src/arch/arm/machine/
A Dhardware.c17 void setNextPC(tcb_t *thread, word_t v) in setNextPC()
/seL4-master/src/arch/x86/64/machine/
A Dregisterset.c57 word_t Mode_sanitiseRegister(register_t reg, word_t v) in Mode_sanitiseRegister()
/seL4-master/src/arch/x86/32/machine/
A Dregisterset.c54 word_t Mode_sanitiseRegister(register_t reg, word_t v) in Mode_sanitiseRegister()
/seL4-master/src/api/
A Dfaults.c83 word_t v = getRegister(sender, msgRegisters[i]); in copyMRsFaultReply() local
92 word_t v = sendBuf[i + 1]; in copyMRsFaultReply() local
/seL4-master/tools/
A Dumm.py43 def fold(acc, v): argument
/seL4-master/src/arch/x86/kernel/
A Dcmdline.c86 int v; in parse_uint16_array() local
/seL4-master/src/arch/riscv/machine/
A Dhardware.c27 void setNextPC(tcb_t *thread, word_t v) in setNextPC()
/seL4-master/include/arch/riscv/arch/machine/
A Dregisterset.h125 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) in sanitiseRegister()

Completed in 25 milliseconds

12