/seL4-camkes-master/projects/camkes/apps/cs-donate/components/Server/src/ |
H A D | server.c | 33 int i_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/debug-simple/ |
H A D | echo.c | 31 int b_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/mcs-donate/components/Server/src/ |
H A D | server.c | 33 int i_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/mcs-nodonate/components/Server/src/ |
H A D | server.c | 33 int i_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/simple/components/Echo/src/ |
H A D | echo.c | 33 int b_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/simplesingleaddressspace/components/Echo/src/ |
H A D | echo.c | 33 int b_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/testunderscorename/components/Echo/src/ |
H A D | echo.c | 33 int b_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/cms-donate/components/Intermediate/src/ |
H A D | intermediate.c | 33 int r_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/cms-donate/components/Server/src/ |
H A D | server.c | 33 int i_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/cs-nodonate/components/Server/src/ |
H A D | server.c | 33 int i_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-master/projects/camkes/apps/testcontrolname/components/Echo/src/ |
H A D | echo.c | 33 int b_echo_parameter(int pin, int *pout) { argument
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 47 long pin; member in struct:__anon1::__anon2::__anon3
|
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
H A D | gpio.c | 105 static uint32_t *tx2_gpio_get_register(gpio_sys_t *gpio_sys, enum gpio_reg_offset reg_offset, enum gpio_pin pin) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vgpio.c | 76 int pin = CTZ(ac); local 221 int port, pin, bank; local
|
/seL4-camkes-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...] |