| /seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
| H A D | ioapic.h | 18 exception_t ioapic_decode_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
21 void ioapic_map_pin_to_vector(word_t ioapic, word_t pin, word_t level, word_t polarity, word_t vector);
|
| /seL4-l4v-master/seL4/src/plat/pc99/machine/ |
| H A D | ioapic.c | 107 word_t polarity, word_t vector)
136 if (polarity != 0 && polarity != 1) {
137 userError("Polarity should be 0 or 1, not %d", (int)polarity);
147 word_t polarity, word_t vector)
161 (polarity << IOREDTBL_LOW_POLARITY_SHIFT) |
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/isabelle/src/Tools/Metis/src/ |
| H A D | Literal.sig | 13 type polarity = bool type
15 type literal = polarity * Atom.atom
21 val polarity : literal -> polarity value
45 val mkBinop : Atom.relationName -> polarity * Term.term * Term.term -> literal
47 val destBinop : Atom.relationName -> literal -> polarity * Term.term * Term.term
|
| H A D | Literal.sml | 15 type polarity = bool; type
17 type literal = polarity * Atom.atom;
23 fun polarity ((pol,_) : literal) = pol; function
33 fun positive lit = polarity lit;
35 fun negative lit = not (polarity lit);
|
| H A D | Normalize.sml | 232 fun polarity True = true function
233 | polarity False = false
234 | polarity (Literal (_,(pol,_))) = not pol
235 | polarity (And _) = true
236 | polarity (Or _) = false
237 | polarity (Xor (_,_,pol,_)) = pol
238 | polarity (Exists _) = true
239 | polarity (Forall _) = false;
242 val polarity = fn f =>
245 val res2 = polarity
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Literal.sig | 13 type polarity = bool type
15 type literal = polarity * Atom.atom
21 val polarity : literal -> polarity value
45 val mkBinop : Atom.relationName -> polarity * Term.term * Term.term -> literal
47 val destBinop : Atom.relationName -> literal -> polarity * Term.term * Term.term
|
| H A D | Literal.sml | 15 type polarity = bool; type
17 type literal = polarity * Atom.atom;
23 fun polarity ((pol,_) : literal) = pol; function
33 fun positive lit = polarity lit;
35 fun negative lit = not (polarity lit);
|
| H A D | Normalize.sml | 232 fun polarity True = true function
233 | polarity False = false
234 | polarity (Literal (_,(pol,_))) = not pol
235 | polarity (And _) = true
236 | polarity (Or _) = false
237 | polarity (Xor (_,_,pol,_)) = pol
238 | polarity (Exists _) = true
239 | polarity (Forall _) = false;
242 val polarity = fn f =>
245 val res2 = polarity
[all...] |
| /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
64 x86_irq_state_t irqState = x86_irq_state_irq_ioapic_new(ioapic, pin, level, polarity, 1);
65 ioapic_map_pin_to_vector(ioapic, pin, level, polarity, vector);
138 word_t polarity = getSyscallArg(5, buffer); local
140 status = ioapic_decode_map_pin_to_vector(ioapic, pin, level, polarity, vector);
146 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
|
| /seL4-l4v-master/HOL4/examples/miller/ho_prover/ |
| H A D | ho_proverTools.sml | 1187 val _ = assert (a_pos <> pos) (ERR "anc_frule" "same polarity")
|
| /seL4-l4v-master/l4v/isabelle/src/Doc/Nitpick/document/ |
| H A D | root.tex | 1929 appropriate polarity in the formula to falsify), use an efficient fixed-point
|
| /seL4-l4v-master/isabelle/src/Doc/Nitpick/document/ |
| H A D | root.tex | 1929 appropriate polarity in the formula to falsify), use an efficient fixed-point
|