1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 #pragma once
7 #include <config.h>
8 
9 typedef struct cmdline_opt {
10 #ifdef CONFIG_PRINTING
11     uint16_t console_port;
12 #endif
13 #if defined(CONFIG_PRINTING) || defined(CONFIG_DEBUG_BUILD)
14     uint16_t debug_port;
15 #endif
16     bool_t   disable_iommu;
17 } cmdline_opt_t;
18 
19 void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt);
20 
21