libplatsupport/src/plat/bcm2711/serial.h - 3p/sel4/util_libs - Git at Google

 /*
  * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
  * Copyright (C) 2021, Hensoldt Cyber GmbH
  *
  * SPDX-License-Identifier: BSD-2-Clause
  */

 #include "../../chardev.h"

 int uart_init(const struct dev_defn *defn, const ps_io_ops_t *ops, ps_chardevice_t *dev);
	/*
	* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
	* Copyright (C) 2021, Hensoldt Cyber GmbH
	*
	* SPDX-License-Identifier: BSD-2-Clause
	*/

	#include "../../chardev.h"

	int uart_init(const struct dev_defn defn, const ps_io_ops_t ops, ps_chardevice_t *dev);