Searched defs:val (Results 51 - 57 of 57) sorted by relevance
123
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 143 word_t val = 0; local
148 static inline void writeTTBR0(word_t val) argument
163 word_t val = 0; local
168 static inline void writeTTBR1(word_t val) argument
176 word_t val = 0; local
181 writeTTBCR(word_t val) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
| H A D | machine.h | 130 static inline void x86_wrmsr(const uint32_t reg, const uint64_t val) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | debug.c | 340 writeBcrContext(tcb_t *t, uint16_t index, word_t val) argument
347 writeBvrContext(tcb_t *t, uint16_t index, word_t val) argument
354 writeWcrContext(tcb_t *t, uint16_t index, word_t val) argument
361 writeWvrContext(tcb_t *t, uint16_t index, word_t val) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | vcpu.c | 191 check_fixed_value(word_t val, word_t low, word_t high) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | dlmalloc.c | 2591 size_t val = (size_t)value; local
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/ |
| H A D | riscv.sml | [all...] |
Completed in 411 milliseconds
123