Subversion Repositories HelenOS

Rev

Rev 2216 | Rev 3094 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2216 Rev 2465
Line 1... Line 1...
1
/*
1
/*
2
 * Copyright (c) 2003-2007 Jakub Jermar
2
 * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
Line 28... Line 28...
28
 
28
 
29
/** @addtogroup arm32  
29
/** @addtogroup arm32  
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
-
 
33
 *  @brief Type definitions.
33
 */
34
 */
34
 
35
 
35
#ifndef KERN_arm32_TYPES_H_
36
#ifndef KERN_arm32_TYPES_H_
36
#define KERN_arm32_TYPES_H_
37
#define KERN_arm32_TYPES_H_
37
 
38
 
-
 
39
#ifndef DOXYGEN
-
 
40
#   define ATTRIBUTE_PACKED __attribute__ ((packed))
-
 
41
#else
-
 
42
#   define ATTRIBUTE_PACKED
-
 
43
#endif
-
 
44
 
38
#define NULL 0
45
#define NULL 0
39
#define false 0
46
#define false 0
40
#define true 1
47
#define true 1
41
 
48
 
42
typedef signed char int8_t;
49
typedef signed char int8_t;
Line 67... Line 74...
67
typedef uint32_t context_id_t;
74
typedef uint32_t context_id_t;
68
 
75
 
69
typedef int32_t inr_t;
76
typedef int32_t inr_t;
70
typedef int32_t devno_t;
77
typedef int32_t devno_t;
71
 
78
 
-
 
79
 
72
/** Page Table Entry. */
80
/** Page table entry.
-
 
81
 *
-
 
82
 *  We have different structs for level 0 and level 1 page table entries.
-
 
83
 *  See page.h for definition of pte_level*_t.
-
 
84
 */
73
typedef struct {
85
typedef struct {
74
    /* placeholder */
86
    unsigned dummy : 32;
75
} pte_t;
87
} pte_t;
76
 
88
 
77
#endif
89
#endif
78
 
90
 
79
/** @}
91
/** @}