Subversion Repositories HelenOS

Rev

Rev 3070 | 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
 
1780 jermar 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
 
3070 decky 60
/**< Formats for uintptr_t, size_t, count_t and index_t */
61
#define PRIp "llx"
62
#define PRIs "llu"
63
#define PRIc "llu"
64
#define PRIi "llu"
391 jermar 65
 
3070 decky 66
/**< Formats for (u)int8_t, (u)int16_t, (u)int32_t, (u)int64_t and (u)native_t */
67
#define PRId8 "d"
68
#define PRId16 "d"
69
#define PRId32 "d"
70
#define PRId64 "lld"
71
#define PRIdn "lld"
2089 decky 72
 
3070 decky 73
#define PRIu8 "u"
74
#define PRIu16 "u"
75
#define PRIu32 "u"
76
#define PRIu64 "llu"
77
#define PRIun "llu"
78
 
79
#define PRIx8 "x"
80
#define PRIx16 "x"
81
#define PRIx32 "x"
82
#define PRIx64 "llx"
83
#define PRIxn "llx"
84
 
2089 decky 85
/** Page Table Entry. */
86
typedef struct {
87
    unsigned present : 1;
88
    unsigned writeable : 1;
89
    unsigned uaccessible : 1;
90
    unsigned page_write_through : 1;
91
    unsigned page_cache_disable : 1;
92
    unsigned accessed : 1;
93
    unsigned dirty : 1;
94
    unsigned unused: 1;
95
    unsigned global : 1;
96
    unsigned soft_valid : 1;        /**< Valid content even if present bit is cleared. */
97
    unsigned avl : 2;
98
    unsigned addr_12_31 : 30;
99
    unsigned addr_32_51 : 21;
100
    unsigned no_execute : 1;
101
} __attribute__ ((packed)) pte_t;
102
 
164 palkovsky 103
#endif
1702 cejka 104
 
1780 jermar 105
/** @}
1702 cejka 106
 */