include/sel4runtime/stdint.h

/*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

/*
 * This is a very naive implementation of stdint that should work for
 * most major platforms. This is the minimal subset needed for the
 * runtime.
 */

_Static_assert(sizeof(char)      == 1, "char is 8 bits");
_Static_assert(sizeof(short)     == 2, "short is 16 bits");
_Static_assert(sizeof(int)       == 4, "int is 32 bits");
_Static_assert(sizeof(long long) == 8, "long long is 64 bits");
_Static_assert(sizeof(long)      == sizeof(void *), "long is word size");

/* Fixed size integer types */
typedef signed char      sel4runtime_int8_t;
typedef signed short     sel4runtime_int16_t;
typedef signed int       sel4runtime_int32_t;
typedef signed long long sel4runtime_int64_t;

typedef unsigned char      sel4runtime_uint8_t;
typedef unsigned short     sel4runtime_uint16_t;
typedef unsigned int       sel4runtime_uint32_t;
typedef unsigned long long sel4runtime_uint64_t;

/* Word-sized integer types */
typedef signed long   sel4runtime_intptr_t;
typedef unsigned long sel4runtime_uintptr_t;