mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
03047009b1
This patch is a prerequisite for compiling the code with the warnings -Wconversion enabled. Issue #23
42 lines
984 B
C++
42 lines
984 B
C++
/*
|
|
* \brief Collection of Fiasco.OC kernel bindings
|
|
* \author Norman Feske
|
|
* \date 2020-11-27
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2020 Genode Labs GmbH
|
|
*
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
* under the terms of the GNU Affero General Public License version 3.
|
|
*/
|
|
|
|
#ifndef _INCLUDE__FOC__SYSCALL_H_
|
|
#define _INCLUDE__FOC__SYSCALL_H_
|
|
|
|
#pragma GCC diagnostic push
|
|
#pragma GCC diagnostic ignored "-Wconversion"
|
|
|
|
namespace Foc {
|
|
#include <l4/sys/types.h>
|
|
#include <l4/sys/kip>
|
|
#include <l4/sys/kdebug.h>
|
|
#include <l4/sys/cache.h>
|
|
#include <l4/sys/consts.h>
|
|
#include <l4/sys/utcb.h>
|
|
#include <l4/sys/task.h>
|
|
#include <l4/sys/ipc.h>
|
|
#include <l4/sys/thread.h>
|
|
#include <l4/sys/factory.h>
|
|
#include <l4/sys/irq.h>
|
|
#include <l4/sys/debugger.h>
|
|
#include <l4/sys/icu.h>
|
|
#include <l4/sys/ktrace.h>
|
|
#include <l4/sys/scheduler.h>
|
|
#include <l4/sigma0/sigma0.h>
|
|
}
|
|
|
|
#pragma GCC diagnostic pop /* restore -Wconversion warnings */
|
|
|
|
#endif /* _INCLUDE__FOC__SYSCALL_H_ */
|