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
9typedef struct cmdline_opt {
10#ifdef CONFIG_PRINTING
11    uint16_t console_port;
12#endif
13#ifdef CONFIG_DEBUG_BUILD
14    uint16_t debug_port;
15#endif
16    bool_t   disable_iommu;
17} cmdline_opt_t;
18
19void cmdline_parse(const char *cmdline, cmdline_opt_t *cmdline_opt);
20
21