Searched defs:is_interrupt (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ | ||
| H A D | Exn.sig | 24 val is_interrupt: exn -> bool value |
| H A D | Exn.sml | 60 fun is_interrupt Interrupt = true function |
Completed in 30 milliseconds