Searched refs:CMD_RESET_MAX (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/ | ||
| H A D | bpmp.h | 710 CMD_RESET_MAX, /* not part of ABI and subject to change */ enumerator in enum:mrq_reset_commands |
Completed in 31 milliseconds