Searched defs:polarity (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-master/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 106 ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
146 ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector) argument
|
| /seL4-l4v-master/seL4/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
138 word_t polarity = getSyscallArg(5, buffer); local
|
| /seL4-l4v-master/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-master/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 83 milliseconds