libnl: use fixed_stint.h for typedefs

Issue #5431.
This commit is contained in:
Josef Söntgen 2025-01-23 14:45:47 +01:00 committed by Christian Helmuth
parent e113d37958
commit acf1488e65
3 changed files with 9 additions and 57 deletions

View File

@ -1,16 +1,16 @@
#ifndef _LINUX_TYPES_H
#define _LINUX_TYPES_H
#include <platform/types.h>
#include <base/fixed_stdint.h>
typedef signed char __s8;
typedef unsigned char __u8;
typedef signed short __s16;
typedef unsigned short __u16;
typedef signed int __s32;
typedef unsigned int __u32;
typedef int64_t __s64;
typedef uint64_t __u64;
typedef genode_int8_t __s8;
typedef genode_uint8_t __u8;
typedef genode_int16_t __s16;
typedef genode_uint16_t __u16;
typedef genode_int32_t __s32;
typedef genode_uint32_t __u32;
typedef genode_int64_t __s64;
typedef genode_uint64_t __u64;
typedef __u16 __be16;
typedef __u32 __be32;

View File

@ -1,24 +0,0 @@
/*
* \brief Emulation of the Linux userland API
* \author Josef Soentgen
* \date 2014-07-25
*
* The content of this file, in particular data structures, is partially
* derived from Linux headers.
*/
/*
* Copyright (C) 2014-2017 Genode Labs GmbH
*
* This file is distributed under the terms of the GNU General Public License
* version 2.
*/
#ifndef _32BIT__PLATFORM__TYPES_H_
#define _32BIT__PLATFORM__TYPES_H_
typedef long long int64_t;
typedef unsigned long long uint64_t;
#endif /* _32BIT__PLATFORM__TYPES_H_ */

View File

@ -1,24 +0,0 @@
/*
* \brief Emulation of the Linux userland API
* \author Josef Soentgen
* \date 2014-07-25
*
* The content of this file, in particular data structures, is partially
* derived from Linux headers.
*/
/*
* Copyright (C) 2014-2017 Genode Labs GmbH
*
* This file is distributed under the terms of the GNU General Public License
* version 2.
*/
#ifndef _64BIT__PLATFORM__TYPES_H_
#define _64BIT__PLATFORM__TYPES_H_
typedef long int64_t;
typedef unsigned long uint64_t;
#endif /* _64BIT__PLATFORM__TYPES_H_ */