ppc64: Don't set Kp bit on SLB
[openbios.git] / include / arch / amd64 / types.h
blob83fd3e117890db1233cf07b5527583b661846106
1 /* tag: data types for forth engine
3 * This file is autogenerated by types.sh. Do not edit!
5 * Copyright (C) 2003 Patrick Mauritz, Stefan Reinauer
7 * See the file "COPYING" for further information about
8 * the copyright and warranty status of this work.
9 */
11 #ifndef __TYPES_H
12 #define __TYPES_H
14 #include <inttypes.h>
16 /* endianess */
17 #include "autoconf.h"
19 /* physical address */
21 typedef uint64_t phys_addr_t;
23 #define FMT_plx "%016" PRIx64
25 /* cell based types */
27 typedef int64_t cell;
28 typedef uint64_t ucell;
29 typedef __int128_t dcell;
30 typedef __uint128_t ducell;
32 #define FMT_ucellx "%016" PRIx64
34 typedef int64_t prom_arg_t;
35 typedef uint64_t prom_uarg_t;
37 #define PRIdPROMARG PRId64
38 #define PRIuPROMARG PRIu64
39 #define PRIxPROMARG PRIx64
40 #define FMT_prom_arg "%" PRIdPROMARG
41 #define FMT_prom_uarg "%" PRIuPROMARG
42 #define FMT_prom_uargx "%016" PRIxPROMARG
44 #define FMT_elf "%#x"
46 #define bitspercell (sizeof(cell)<<3)
47 #define bitsperdcell (sizeof(dcell)<<3)
49 #define BITS 64
51 /* size named types */
53 typedef unsigned char u8;
54 typedef unsigned short u16;
55 typedef unsigned int u32;
56 typedef unsigned long u64;
58 typedef char s8;
59 typedef short s16;
60 typedef int s32;
61 typedef long s64;
63 #endif