Searched defs:MTF_NO_OVERWRITE (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/ | ||
| H A D | polyexports.h | 63 #define MTF_NO_OVERWRITE 0x00000004 // With MTF_WRITEABLE: Don't load over the top macro |
Completed in 85 milliseconds