Subversion Repositories HelenOS

Rev

Rev 3929 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
164 palkovsky 1
/*
2071 jermar 2
 * Copyright (c) 2001-2004 Jakub Jermar
164 palkovsky 3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
3878 decky 29
/** @addtogroup amd64
1702 cejka 30
 * @{
31
 */
32
/** @file
33
 */
34
 
1888 jermar 35
#ifndef KERN_amd64_TYPES_H_
36
#define KERN_amd64_TYPES_H_
164 palkovsky 37
 
1780 jermar 38
typedef signed char int8_t;
39
typedef signed short int16_t;
40
typedef signed int int32_t;
41
typedef signed long long int64_t;
164 palkovsky 42
 
1780 jermar 43
typedef unsigned char uint8_t;
44
typedef unsigned short uint16_t;
45
typedef unsigned int uint32_t;
46
typedef unsigned long long uint64_t;
164 palkovsky 47
 
2089 decky 48
typedef uint64_t size_t;
49
typedef uint64_t count_t;
50
typedef uint64_t index_t;
51
 
1780 jermar 52
typedef uint64_t uintptr_t;
53
typedef uint64_t pfn_t;
164 palkovsky 54
 
1780 jermar 55
typedef uint64_t ipl_t;
164 palkovsky 56
 
1780 jermar 57
typedef uint64_t unative_t;
58
typedef int64_t native_t;
164 palkovsky 59
 
3878 decky 60
typedef struct {
61
} fncptr_t;
62
 
3070 decky 63
/**< Formats for uintptr_t, size_t, count_t and index_t */
64
#define PRIp "llx"
65
#define PRIs "llu"
66
#define PRIc "llu"
67
#define PRIi "llu"
391 jermar 68
 
3070 decky 69
/**< Formats for (u)int8_t, (u)int16_t, (u)int32_t, (u)int64_t and (u)native_t */
70
#define PRId8 "d"
71
#define PRId16 "d"
72
#define PRId32 "d"
73
#define PRId64 "lld"
74
#define PRIdn "lld"
2089 decky 75
 
3070 decky 76
#define PRIu8 "u"
77
#define PRIu16 "u"
78
#define PRIu32 "u"
79
#define PRIu64 "llu"
80
#define PRIun "llu"
81
 
82
#define PRIx8 "x"
83
#define PRIx16 "x"
84
#define PRIx32 "x"
85
#define PRIx64 "llx"
86
#define PRIxn "llx"
87
 
2089 decky 88
/** Page Table Entry. */
89
typedef struct {
90
    unsigned present : 1;
91
    unsigned writeable : 1;
92
    unsigned uaccessible : 1;
93
    unsigned page_write_through : 1;
94
    unsigned page_cache_disable : 1;
95
    unsigned accessed : 1;
96
    unsigned dirty : 1;
97
    unsigned unused: 1;
98
    unsigned global : 1;
99
    unsigned soft_valid : 1;        /**< Valid content even if present bit is cleared. */
100
    unsigned avl : 2;
101
    unsigned addr_12_31 : 30;
102
    unsigned addr_32_51 : 21;
103
    unsigned no_execute : 1;
104
} __attribute__ ((packed)) pte_t;
105
 
164 palkovsky 106
#endif
1702 cejka 107
 
1780 jermar 108
/** @}
1702 cejka 109
 */