Searched defs:val (Results 1 - 25 of 62) sorted by relevance

123

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dgcc_attribs.c9 void f(int pos1, int pos2, int val) argument
H A Dparse_typecast.c13 void set_intptr(void *ptr, int val) argument
H A Dbugzilla182.c22 void g(int *ptr, int val) argument
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dstr2long.c19 long val = 0; local
/seL4-l4v-master/seL4/src/arch/arm/benchmark/
H A Dbenchmark.c26 uint32_t val = (BIT(PMCR_ENABLE) | BIT(PMCR_CCNT_RESET) | BIT(PMCR_ECNT_RESET)); local
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7-a/armv/
H A Dbenchmark.h21 word_t val; local
29 word_t val = BIT(CCNT_INDEX); local
H A Ddebug.h33 static inline void writeDscrCp(word_t val) argument
/seL4-l4v-master/seL4/include/arch/arm/armv/armv6/armv/
H A Dbenchmark.h24 word_t val; local
H A Ddebug.h41 static void writeDscrCp(word_t val) argument
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/32/armv/
H A Dbenchmark.h21 word_t val; local
29 word_t val = BIT(CCNT_INDEX); local
H A Ddebug.h33 static inline void writeDscrCp(word_t val) argument
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dbenchmark.h21 uint32_t val; local
29 uint32_t val = BIT(CCNT_INDEX); local
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dbenchmark.h21 word_t val; local
29 word_t val = BIT(CCNT_INDEX); local
H A Ddebug.h33 static inline void writeDscrCp(word_t val) argument
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/machine/
H A Ddebug.h25 static inline void writeDr6Reg(word_t val) argument
43 static inline void writeDr7Reg(word_t val) argument
H A Dcpu_registers.h16 static inline void write_cr3(unsigned long val) argument
23 unsigned long val; local
28 static inline void write_cr0(unsigned long val) argument
35 unsigned long val; local
42 unsigned long val; local
47 write_cr4(unsigned long val) argument
[all...]
/seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/
H A Dread_global_array.c11 void setRegister(tcb_t *receiver, word_t reg, word_t val) argument
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/machine/
H A Ddebug.h24 static inline void writeDr6Reg(word_t val) argument
42 static inline void writeDr7Reg(word_t val) argument
H A Dcpu_registers.h12 unsigned long val; local
17 static inline void write_cr3(unsigned long val) argument
24 unsigned long val; local
29 static inline void write_cr0(unsigned long val) argument
36 unsigned long val; local
43 unsigned long val; local
[all...]
/seL4-l4v-master/seL4/src/drivers/timer/
H A Dgeneric_timer.c55 uint64_t val; local
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Duser_access.c26 uint32_t val = PMUSERENR_EL0_EN; local
33 uint32_t val = 0; local
[all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dadder.cxx152 bdd setval(int val, int v) argument
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_check_weak_ref.cpp66 PolyObject *val = *pt; local
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.h87 inline bdd fdd_ithvarpp(int var, int val) argument
/seL4-l4v-master/seL4/src/
H A Dutil.c106 long val = 0; local

Completed in 104 milliseconds

123