Searched defs:polarity (Results 1 - 8 of 8) sorted by relevance
/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 145 word_t polarity = getSyscallArg(5, buffer); local
|
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
H A D | ioapic.c | 109 ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument 149 ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Literal.sig | 13 type polarity = bool type 21 val polarity : literal -> polarity value
|
H A D | Literal.sml | 15 type polarity = bool; type 23 fun polarity ((pol,_) : literal) = pol; function
|
H A D | Normalize.sml | 232 fun polarity True = true function [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Literal.sig | 13 type polarity = bool type 21 val polarity : literal -> polarity value
|
H A D | Literal.sml | 15 type polarity = bool; type 23 fun polarity ((pol,_) : literal) = pol; function
|
H A D | Normalize.sml | 232 fun polarity True = true function [all...] |
Completed in 172 milliseconds