Searched defs:fallback (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/ | ||
| H A D | arm8_stepLib.sml | 649 fun fallback tm = (WARN "arm8_decode" "fallback decode"; decode_thm tm) function |
Completed in 63 milliseconds