Searched refs:pin (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dioapic.h19 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin);
21 /* Checks if a pin can be mapped to an interrupt vector, returning
23 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
24 /* The function maps a pin to an interrupt vector, does not perform
26 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
H A Dinterrupt.h136 uint32_t pin = x86_irq_state_irq_ioapic_get_pin(state); local
137 ioapic_mask(disable, ioapic, pin);
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c90 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument
92 int index = ioapic * IOAPIC_IRQ_LINES + pin;
93 if (ioapic >= num_ioapics || pin >= IOAPIC_IRQ_LINES) {
105 ioapic_write(ioapic, IOAPIC_REGSEL, IOREDTBL_LOW(pin));
109 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
124 if (pin >= IOAPIC_IRQ_LINES) {
125 userError("Invalid IOAPIC pin %ld, there are %d pins", (long)pin, IOAPIC_IRQ_LINES);
149 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, argument
155 index = ioapic * IOAPIC_IRQ_LINES + pin;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dinterrupt.c68 invokeIssueIRQHandlerIOAPIC(irq_t irq, word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector, argument
71 x86_irq_state_t irqState = x86_irq_state_irq_ioapic_new(ioapic, pin, level, polarity, 1);
72 ioapic_map_pin_to_vector(ioapic, pin, level, polarity, vector);
143 word_t pin = getSyscallArg(3, buffer); local
147 status = ioapic_decode_map_pin_to_vector(ioapic, pin, level, polarity, vector);
153 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dconv.tex206 \index{THENC@\ml{THENC}|pin}
224 \index{ORELSEC@\ml{ORELSEC}|pin}
240 \index{REPEATC@\ml{REPEATC}|pin}
322 \index{DEPTH_CONV@\ml{DEPTH\_CONV}|pin}
374 \index{TOP_DEPTH_CONV@\ml{TOP\_DEPTH\_CONV}|pin}
389 \index{ONCE_DEPTH_CONV@\ml{ONCE\_DEPTH\_CONV}|pin}
414 \index{CONV_RULE@\ml{CONV\_RULE}|pin}
415 \index{CONV_TAC@\ml{CONV\_TAC}|pin}
437 \index{BETA_RULE@\ml{BETA\_RULE}|pin}
500 \index{NO_CONV@\ml{NO\_CONV}|pin}
[all...]
H A Ddrules.tex477 \index{ADD_ASSUM@\ml{ADD\_ASSUM}|pin}
503 \index{UNDISCH@\ml{UNDISCH}|pin}
528 \index{SYM@\ml{SYM}|pin}
557 \index{TRANS@\ml{TRANS}|pin}
581 \index{AP_TERM@\ml{AP\_TERM}|pin}
603 \index{AP_THM@\ml{AP\_THM}|pin}
626 \index{EQ_MP@\ml{EQ\_MP}|pin}
652 \index{EQ_IMP_RULE@\ml{EQ\_IMP\_RULE}|pin}
707 \index{EQT_ELIM@\ml{EQT\_ELIM}|pin}
730 \index{SPEC@\ml{SPEC}|pin}
[all...]
H A Dsystem.tex184 \index{mk_vartype@\ml{mk\_vartype}|pin}
185 \index{mk_type@\ml{mk\_type}|pin}
260 \index{dest_vartype@\ml{dest\_vartype}|pin}
261 \index{dest_thy_type@\ml{dest\_thy\_type}|pin}
298 \index{mk_var@\ml{mk\_var}|pin}
308 \index{mk_thy_const@\ml{mk\_thy\_const}|pin}
327 \begin{holboxed}\index{mk_comb@\ml{mk\_comb}|pin}
349 \index{mk_abs@\ml{mk\_abs}|pin}
375 \index{dest_var@\ml{dest\_var}|pin}
376 \index{dest_thy_const@\ml{dest\_thy\_const}|pin}
[all...]
H A Dtactics.tex508 \index{TAC_PROOF@\ml{TAC\_PROOF}|pin}
509 \index{prove_thm@\ml{prove\_thm}|pin}
510 \index{PROVE@\ml{PROVE}|pin}
551 \begin{holboxed}\index{ACCEPT_TAC@\ml{ACCEPT\_TAC}|pin}
584 \index{ASSUME_TAC@\ml{ASSUME\_TAC}|pin}
610 \index{GEN_TAC@\ml{GEN\_TAC}|pin}
642 \index{CONJ_TAC@\ml{CONJ\_TAC}|pin}
672 \index{DISCH_TAC@\ml{DISCH\_TAC}|pin}
703 \index{STRIP_TAC@\ml{STRIP\_TAC}|pin}
727 \index{SUBST_TAC@\ml{SUBST\_TAC}|pin}
[all...]
H A Dlibraries.tex927 \index{hide@\ml{hide}|pin}
955 \index{reveal@\ml{reveal}|pin}
966 \index{hidden@\ml{hidden}|pin}
984 \index{max_print_depth@\ml{max\_print\_depth}|pin}
2863 \index{Once (controllo delle applicazioni di riscrittura)@\ml{Once} (controllo delle applicazioni di riscrittura)|pin}
2864 \index{Ntimes (controllo delle applicazioni di riscrittura)@\ml{Ntimes} (controllo delle applicazioni di riscrittura)|pin}
2932 \index{SimpLHS@\ml{SimpLHS}|pin}\index{SimpRHS@\ml{SimpRHS}|pin}
H A Dmisc.tex796 \index{counting_thms@\ml{counting\_thms}|pin}
814 \index{thm_count@\ml{thm\_count}|pin}
831 \index{reset_thm_count@\ml{reset\_thm\_count}|pin}
841 \index{Count.apply@\ml{Count.apply}|pin}
H A Dtheories.tex551 \index{list_mk_comb@\ml{list\_mk\_comb}|pin}
552 \index{list_mk_abs@\ml{list\_mk\_abs}|pin}
553 \index{list_mk_forall@\ml{list\_mk\_forall}|pin}
554 \index{list_mk_exists@\ml{list\_mk\_exists}|pin}
1532 \index{new_recursive_definition@\ml{new\_recursive\_definition}|pin}
1875 \index{num_CONV@\ml{num\_CONV}|pin}
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DRPCTo.c2215 pin
2609 pin local
2623 pin
2648 pin
2698 pin
H A DRPCFrom.c2918 pin
2952 pin
2983 pin
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c1026 echo_parameter_marshal_inputs_pin(unsigned int _camkes_offset_83, int pin) { argument
1034 *_camkes_ptr_85 = pin;
1049 static unsigned int echo_parameter_marshal_inputs(int pin) { argument
1066 _camkes_length_90 = echo_parameter_marshal_inputs_pin(_camkes_length_90, pin);
1152 int RPCFrom_echo_parameter(int pin, int *pout) { argument
1159 unsigned int _camkes_length_108 = echo_parameter_marshal_inputs(pin);
2742 extern int RPCTo_echo_parameter(int pin, int *pout);
2745 unsigned int _camkes_offset_356, int *pin) {
2750 if (!(!(_camkes_offset_356 + sizeof(*pin) > _camkes_size_355))) {
2755 memcpy(pin, _camkes_buffer_base_35
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...]
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dmisc.tex865 \index{counting_thms@\ml{counting\_thms}|pin}
883 \index{thm_count@\ml{thm\_count}|pin}
900 \index{reset_thm_count@\ml{reset\_thm\_count}|pin}
910 \index{Count.apply@\ml{Count.apply}|pin}

Completed in 201 milliseconds