Searched defs:pin (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
| H A D | interrupt.h | 136 uint32_t pin = x86_irq_state_irq_ioapic_get_pin(state); local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 68 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, argument
143 word_t pin = getSyscallArg(3, buffer); local
|
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 90 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument
109 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
149 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
[all...] |
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | RPCTo.c | 2609 pin local
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 1026 echo_parameter_marshal_inputs_pin(unsigned int _camkes_offset_83, int pin) { argument
1049 static unsigned int echo_parameter_marshal_inputs(int pin) { argument
1152 int RPCFrom_echo_parameter(int pin, int *pout) { argument
2744 echo_parameter_unmarshal_inputs_pin(unsigned int _camkes_size_355, unsigned int _camkes_offset_356, int *pin) argument
2759 echo_parameter_unmarshal_inputs(unsigned int _camkes_size_358, int *pin) argument
3829 int pin __attribute__((__unused__)); local
[all...] |
Completed in 104 milliseconds