Searched defs:n_instructions (Results 1 – 2 of 2) sorted by relevance
/seL4-master/include/arch/x86/arch/machine/ | ||
A D | registerset.h | 44 word_t n_instructions; member |
/seL4-master/include/arch/arm/arch/32/mode/machine/ | ||
A D | registerset.h | 201 word_t n_instructions; member |
Completed in 4 milliseconds