| /seL4-l4v-10.1.1/seL4/src/ |
| H A D | util.c | 116 long val = 0; local
|
| /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/seL4/src/arch/x86/machine/ |
| H A D | breakpoint.c | 81 bitwiseOrDr7Context(tcb_t *t, word_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/arm/armv/armv8-a/64/ |
| H A D | user_access.c | 23 uint32_t val = PMUSERENR_EL0_EN; local
30 uint32_t val; local
|
| H A D | benchmark.c | 20 uint32_t val = 0; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv7-a/ |
| H A D | benchmark.c | 24 uint32_t val, pmcr; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/32/ |
| H A D | benchmark.c | 24 uint32_t val, pmcr; local
|
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | syscall.c | 135 uint64_t val; local
145 uint64_t val; local
151 setMR(NODE_STATE(ksCurThread), NULL, 1, val >> 32); local
154 setMR(NODE_STATE(ksCurThread), NULL, 0, val); local
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 380 seL4_Word val; local
|
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | deprecated.h | 107 seL4_ExceptIPC_Set(seL4_Word index, seL4_Word val) argument
|
| /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/include/arch/x86/arch/kernel/ |
| H A D | xapic.h | 57 apic_write_reg(apic_reg_t reg, uint32_t val) argument
|
| H A D | x2apic.h | 56 apic_write_reg(apic_reg_t reg, uint32_t val) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/machine/ |
| H A D | cpu_registers.h | 23 static inline void write_cr3(unsigned long val) argument
30 unsigned long val; local
35 static inline void write_cr0(unsigned long val) argument
42 unsigned long val; local
49 unsigned long val; local
54 write_cr4(unsigned long val) argument
[all...] |
| H A D | debug.h | 34 writeDr6Reg(word_t val) argument
54 writeDr7Reg(word_t val) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/ |
| H A D | cpu_registers.h | 16 unsigned long val; local
21 static inline void write_cr3(unsigned long val) argument
28 unsigned long val; local
33 static inline void write_cr0(unsigned long val) argument
40 unsigned long val; local
47 unsigned long val; local
[all...] |
| H A D | debug.h | 34 writeDr6Reg(word_t val) argument
54 writeDr7Reg(word_t val) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 45 set_lr_svc(word_t val) argument
59 set_sp_svc(word_t val) argument
73 set_spsr_svc(word_t val) argument
87 set_lr_abt(word_t val) argument
101 set_sp_abt(word_t val) argument
115 set_spsr_abt(word_t val) argument
129 set_lr_und(word_t val) argument
143 set_sp_und(word_t val) argument
157 set_spsr_und(word_t val) argument
171 set_lr_irq(word_t val) argument
185 set_sp_irq(word_t val) argument
199 set_spsr_irq(word_t val) argument
213 set_lr_fiq(word_t val) argument
227 set_sp_fiq(word_t val) argument
241 set_spsr_fiq(word_t val) argument
255 set_r8_fiq(word_t val) argument
269 set_r9_fiq(word_t val) argument
283 set_r10_fiq(word_t val) argument
297 set_r11_fiq(word_t val) argument
311 set_r12_fiq(word_t val) argument
324 set_cntv_tval(word_t val) argument
338 set_cntv_ctl(word_t val) argument
[all...] |
| H A D | debug.h | 39 writeDscrCp(word_t val) argument
|
| H A D | benchmark_irqHandler.h | 18 uint32_t val; local
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 45 set_lr_svc(word_t val) argument
59 set_sp_svc(word_t val) argument
73 set_spsr_svc(word_t val) argument
87 set_lr_abt(word_t val) argument
101 set_sp_abt(word_t val) argument
115 set_spsr_abt(word_t val) argument
129 set_lr_und(word_t val) argument
143 set_sp_und(word_t val) argument
157 set_spsr_und(word_t val) argument
171 set_lr_irq(word_t val) argument
185 set_sp_irq(word_t val) argument
199 set_spsr_irq(word_t val) argument
213 set_lr_fiq(word_t val) argument
227 set_sp_fiq(word_t val) argument
241 set_spsr_fiq(word_t val) argument
255 set_r8_fiq(word_t val) argument
269 set_r9_fiq(word_t val) argument
283 set_r10_fiq(word_t val) argument
297 set_r11_fiq(word_t val) argument
311 set_r12_fiq(word_t val) argument
324 set_cntv_tval(word_t val) argument
338 set_cntv_ctl(word_t val) argument
[all...] |
| H A D | debug.h | 39 writeDscrCp(word_t val) argument
|
| H A D | benchmark_irqHandler.h | 18 uint32_t val; local
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | debug.h | 39 writeDscrCp(word_t val) argument
|