| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdt_overlay.c | 75 const fdt32_t *val; local
164 const fdt32_t *val; local
[all...] |
| H A D | fdt_rw.c | 290 fdt_setprop(void *fdt, int nodeoffset, const char *name, const void *val, int len) argument
305 fdt_appendprop(void *fdt, int nodeoffset, const char *name, const void *val, int len) argument
|
| H A D | fdt_ro.c | 659 const void *val; local
|
| H A D | libfdt.h | 1261 fdt_setprop_inplace_u32(void *fdt, int nodeoffset, const char *name, uint32_t val) argument
1296 fdt_setprop_inplace_u64(void *fdt, int nodeoffset, const char *name, uint64_t val) argument
1308 fdt_setprop_inplace_cell(void *fdt, int nodeoffset, const char *name, uint32_t val) argument
1374 fdt_property_u32(void *fdt, const char *name, uint32_t val) argument
1379 fdt_property_u64(void *fdt, const char *name, uint64_t val) argument
1386 fdt_property_cell(void *fdt, const char *name, uint32_t val) argument
1584 fdt_setprop_u32(void *fdt, int nodeoffset, const char *name, uint32_t val) argument
1619 fdt_setprop_u64(void *fdt, int nodeoffset, const char *name, uint64_t val) argument
1631 fdt_setprop_cell(void *fdt, int nodeoffset, const char *name, uint32_t val) argument
1756 fdt_appendprop_u32(void *fdt, int nodeoffset, const char *name, uint32_t val) argument
1791 fdt_appendprop_u64(void *fdt, int nodeoffset, const char *name, uint64_t val) argument
1803 fdt_appendprop_cell(void *fdt, int nodeoffset, const char *name, uint32_t val) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | clock.h | 193 exynos_cmu_set_src_mask(clk_regs_io_t** regs, int clkid, int val) argument
|
| H A D | mux.c | 68 static void exynos_mux_set_dat(struct mux_cfg *_cfg, int pin, int val) argument
84 uint32_t val; local
|
| /seL4-refos-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 71 static inline void bitwiseOrDr7Context(tcb_t *t, word_t val) argument
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | phy.h | 205 phy_write(struct phy_device *phydev, int devad, int regnum, uint16_t val) argument
|
| H A D | dwc_eth_qos.c | 144 uint32_t val; local
183 u32 val; local
528 u32 val, tx_fifo_sz, rx_fifo_sz, tqs, rqs, pbl; local
[all...] |
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 632 seL4_Word val; local
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 632 seL4_Word val; local
|
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | mux.c | 68 static void exynos_mux_set_dat(struct mux_cfg *_cfg, int pin, int val) argument
84 uint32_t val; local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 278 u32 val = readl(®s->txsr); local
286 u32 val = readl(®s->rxsr); local
|
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v3.c | 80 uint32_t val; local
125 uint32_t val = 0; local
185 uint32_t val; local
[all...] |
| /seL4-refos-master/libs/libvterm/src/ |
| H A D | screen.c | 408 static int setpenattr(VTermAttr attr, VTermValue *val, void *user) argument
445 settermprop(VTermProp prop, VTermValue *val, void *user) argument
[all...] |
| H A D | state.c | 460 VTermValue val = { .boolean = v }; local
466 VTermValue val = { .number = v }; local
476 VTermValue val = { .string = strvalue }; local
607 static void set_mode(VTermState *state, int num, int val) argument
624 static void set_dec_mode(VTermState *state, int num, int val) argument
825 int count, val; local
1525 vterm_state_set_termprop(VTermState *state, VTermProp prop, VTermValue *val) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | screen.c | 408 static int setpenattr(VTermAttr attr, VTermValue *val, void *user) argument
445 settermprop(VTermProp prop, VTermValue *val, void *user) argument
[all...] |
| H A D | state.c | 460 VTermValue val = { .boolean = v }; local
466 VTermValue val = { .number = v }; local
476 VTermValue val = { .string = strvalue }; local
607 static void set_mode(VTermState *state, int num, int val) argument
624 static void set_dec_mode(VTermState *state, int num, int val) argument
825 int count, val; local
1525 vterm_state_set_termprop(VTermState *state, VTermProp prop, VTermValue *val) argument
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 43 static inline void set_lr_svc(word_t val) argument
55 static inline void set_sp_svc(word_t val) argument
67 static inline void set_spsr_svc(word_t val) argument
79 set_lr_abt(word_t val) argument
91 set_sp_abt(word_t val) argument
103 set_spsr_abt(word_t val) argument
115 set_lr_und(word_t val) argument
127 set_sp_und(word_t val) argument
139 set_spsr_und(word_t val) argument
151 set_lr_irq(word_t val) argument
163 set_sp_irq(word_t val) argument
175 set_spsr_irq(word_t val) argument
187 set_lr_fiq(word_t val) argument
199 set_sp_fiq(word_t val) argument
211 set_spsr_fiq(word_t val) argument
223 set_r8_fiq(word_t val) argument
235 set_r9_fiq(word_t val) argument
247 set_r10_fiq(word_t val) argument
259 set_r11_fiq(word_t val) argument
271 set_r12_fiq(word_t val) argument
282 set_cntv_tval(word_t val) argument
294 set_cntv_ctl(word_t val) argument
307 set_vmpidr(word_t val) argument
315 set_cntv_cval_64(uint64_t val) argument
329 set_cntv_cval_high(word_t val) argument
343 set_cntv_cval_low(word_t val) argument
359 set_cntv_off_64(uint64_t val) argument
373 set_cntv_off_high(word_t val) argument
387 set_cntv_off_low(word_t val) argument
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 43 static inline void set_lr_svc(word_t val) argument
55 static inline void set_sp_svc(word_t val) argument
67 static inline void set_spsr_svc(word_t val) argument
79 set_lr_abt(word_t val) argument
91 set_sp_abt(word_t val) argument
103 set_spsr_abt(word_t val) argument
115 set_lr_und(word_t val) argument
127 set_sp_und(word_t val) argument
139 set_spsr_und(word_t val) argument
151 set_lr_irq(word_t val) argument
163 set_sp_irq(word_t val) argument
175 set_spsr_irq(word_t val) argument
187 set_lr_fiq(word_t val) argument
199 set_sp_fiq(word_t val) argument
211 set_spsr_fiq(word_t val) argument
223 set_r8_fiq(word_t val) argument
235 set_r9_fiq(word_t val) argument
247 set_r10_fiq(word_t val) argument
259 set_r11_fiq(word_t val) argument
271 set_r12_fiq(word_t val) argument
282 set_cntv_tval(word_t val) argument
294 set_cntv_ctl(word_t val) argument
307 set_vmpidr(word_t val) argument
315 set_cntv_cval_64(uint64_t val) argument
329 set_cntv_cval_high(word_t val) argument
343 set_cntv_cval_low(word_t val) argument
359 set_cntv_off_64(uint64_t val) argument
373 set_cntv_off_high(word_t val) argument
387 set_cntv_off_low(word_t val) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | gpio.c | 176 uint32_t val, cnf_val; local
257 uint32_t val, lvl_type = 0; local
291 uint32_t val; local
309 uint32_t val; local
339 uint32_t val; local
363 uint32_t val; local
383 uint32_t val; local
494 uint32_t val, out_val; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
| H A D | gpio.c | 176 uint32_t val, cnf_val; local
257 uint32_t val, lvl_type = 0; local
291 uint32_t val; local
309 uint32_t val; local
339 uint32_t val; local
363 uint32_t val; local
383 uint32_t val; local
494 uint32_t val, out_val; local
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | vcpu.h | 43 static inline void set_lr_svc(word_t val) argument
55 static inline void set_sp_svc(word_t val) argument
67 static inline void set_spsr_svc(word_t val) argument
79 set_lr_abt(word_t val) argument
91 set_sp_abt(word_t val) argument
103 set_spsr_abt(word_t val) argument
115 set_lr_und(word_t val) argument
127 set_sp_und(word_t val) argument
139 set_spsr_und(word_t val) argument
151 set_lr_irq(word_t val) argument
163 set_sp_irq(word_t val) argument
175 set_spsr_irq(word_t val) argument
187 set_lr_fiq(word_t val) argument
199 set_sp_fiq(word_t val) argument
211 set_spsr_fiq(word_t val) argument
223 set_r8_fiq(word_t val) argument
235 set_r9_fiq(word_t val) argument
247 set_r10_fiq(word_t val) argument
259 set_r11_fiq(word_t val) argument
271 set_r12_fiq(word_t val) argument
282 set_cntv_tval(word_t val) argument
294 set_cntv_ctl(word_t val) argument
307 set_vmpidr(word_t val) argument
315 set_cntv_cval_64(uint64_t val) argument
329 set_cntv_cval_high(word_t val) argument
343 set_cntv_cval_low(word_t val) argument
359 set_cntv_off_64(uint64_t val) argument
373 set_cntv_off_high(word_t val) argument
387 set_cntv_off_low(word_t val) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | io.h | 149 ps_io_port_out( const ps_io_port_ops_t *port_ops, uint32_t port, int io_size, uint32_t val) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | io.h | 149 ps_io_port_out( const ps_io_port_ops_t *port_ops, uint32_t port, int io_size, uint32_t val) argument
|