/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
H A D | ioapic.h | 19 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 D | interrupt.h | 136 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 D | ioapic.c | 90 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 D | interrupt.c | 68 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 D | conv.tex | 206 \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 D | drules.tex | 477 \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 D | system.tex | 184 \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 D | tactics.tex | 508 \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 D | libraries.tex | 927 \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 D | misc.tex | 796 \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 D | theories.tex | 551 \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 D | RPCTo.c | 2215 pin 2609 pin local 2623 pin 2648 pin 2698 pin
|
H A D | RPCFrom.c | 2918 pin 2952 pin 2983 pin
|
/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 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 D | misc.tex | 865 \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}
|