l4int.h

Go to the documentation of this file.

/*
 * Copyright (C) 2021, 2024 Kernkonzept GmbH.
 * Author(s): Georg Kotheimer <georg.kotheimer@kernkonzept.com>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once

 
#define L4_MWORD_BITS           __riscv_xlen  
 
#if __riscv_xlen == 64
typedef unsigned long           l4_size_t;    
typedef signed long             l4_ssize_t;   
#else
typedef unsigned int            l4_size_t;    
typedef signed int              l4_ssize_t;   
#endif