| /seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | interrupt.h | 126 uint32_t pin = x86_irq_state_irq_ioapic_get_pin(state); local
|
| /seL4-refos-master/libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument
|
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 60 static exception_t invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, argument
136 word_t pin = getSyscallArg(3, buffer); local
|
| /seL4-refos-master/kernel/src/plat/pc99/machine/ |
| H A D | ioapic.c | 87 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument
106 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
146 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | mux.h | 75 uint8_t pin; member in struct:mux_feature_data
|
| H A D | mux.c | 56 static void exynos_mux_set_con(struct mux_cfg *_cfg, int pin, int func) argument
68 static void exynos_mux_set_dat(struct mux_cfg *_cfg, int pin, int val) argument
81 static int exynos_mux_get_dat(struct mux_cfg *_cfg, int pin) argument
90 exynos_mux_set_pud(struct mux_cfg *cfg, int pin, int pud) argument
101 exynos_mux_set_drv(struct mux_cfg *_cfg, int pin, int _drv) argument
135 exynos_mux_configure(struct mux_cfg *cfg, int pin, int con, int pud, int drv) argument
315 int pin; local
349 int pin; local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | mux.h | 75 uint8_t pin; member in struct:mux_feature_data
|
| H A D | mux.c | 56 static void exynos_mux_set_con(struct mux_cfg *_cfg, int pin, int func) argument
68 static void exynos_mux_set_dat(struct mux_cfg *_cfg, int pin, int val) argument
81 static int exynos_mux_get_dat(struct mux_cfg *_cfg, int pin) argument
90 exynos_mux_set_pud(struct mux_cfg *cfg, int pin, int pud) argument
101 exynos_mux_set_drv(struct mux_cfg *_cfg, int pin, int _drv) argument
135 exynos_mux_configure(struct mux_cfg *cfg, int pin, int con, int pud, int drv) argument
315 int pin; local
349 int pin; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
| H A D | gpio.c | 78 int pin; local
122 int pin; local
145 int pin; local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | gpio.c | 78 int pin; local
122 int pin; local
145 int pin; local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 47 long pin; member in struct:__anon11::__anon12::__anon13
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 47 long pin; member in struct:__anon1::__anon2::__anon3
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | gpio.c | 127 static inline tk1_gpio_regs_t *tk1_gpio_pin_get_priv(gpio_t *pin) argument
133 static inline tk1_gpio_bank_t *tk1_gpio_get_bank_by_pin(gpio_sys_t *sys, int pin) argument
308 enum gpio_pin pin = gpio->id; local
338 enum gpio_pin pin = gpio->id; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
| H A D | gpio.c | 127 static inline tk1_gpio_regs_t *tk1_gpio_pin_get_priv(gpio_t *pin) argument
133 static inline tk1_gpio_bank_t *tk1_gpio_get_bank_by_pin(gpio_sys_t *sys, int pin) argument
308 enum gpio_pin pin = gpio->id; local
338 enum gpio_pin pin = gpio->id; local
[all...] |