blob: 5bf1b3fe1e65e8e57617cd9f9a7dedb4dbe7ade7 [file] [log] [blame]
/* SPDX-License-Identifier: BSD-2-Clause */
/*
* Copyright (c) 2014, STMicroelectronics International N.V.
*/
#ifndef TYPES_EXT_H
#define TYPES_EXT_H
#include <limits.h>
#include <stddef.h>
#include <inttypes.h>
#include <stdbool.h>
#include <unistd.h>
typedef uintptr_t uaddr_t;
#define PRIxUA PRIxPTR
typedef uintptr_t vaddr_t;
#define PRIxVA PRIxPTR
#if defined(__ILP32__) && defined(CFG_CORE_LARGE_PHYS_ADDR)
typedef uint64_t paddr_t;
typedef uint64_t paddr_size_t;
#define PRIxPA PRIx64
#define PRIxPASZ PRIx64
#define __SIZEOF_PADDR__ 8
#else
typedef uintptr_t paddr_t;
typedef uintptr_t paddr_size_t;
#define PRIxPA PRIxPTR
#define PRIxPASZ PRIxPTR
#define __SIZEOF_PADDR__ __SIZEOF_POINTER__
#endif
#define PRIxVA_WIDTH ((int)(sizeof(vaddr_t) * 2))
#define PRIxPA_WIDTH ((int)(sizeof(paddr_t) * 2))
#endif /* TYPES_EXT_H */