diff options
Diffstat (limited to 'include/cli.h')
| -rw-r--r-- | include/cli.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/cli.h b/include/cli.h index 0075bd44c9..b04539f320 100644 --- a/include/cli.h +++ b/include/cli.h @@ -99,4 +99,9 @@ int readline_into_buffer(const char *const prompt, char *buffer, int timeout); */ int parse_line(char *line, char *argv[]); +/** bootretry_dont_retry() - Indicate that we should not retry the boot */ +void bootretry_dont_retry(void); + +#define endtick(seconds) (get_ticks() + (uint64_t)(seconds) * get_tbclk()) + #endif |
