Subversion Repositories HelenOS

Rev

Go to most recent revision | Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
3862 rimsky 1
/*
2
 * Copyright (c) 2005 Jakub Jermar
3
 * Copyright (c) 2009 Pavel Rimsky
4
 * All rights reserved.
5
 *
6
 * Redistribution and use in source and binary forms, with or without
7
 * modification, are permitted provided that the following conditions
8
 * are met:
9
 *
10
 * - Redistributions of source code must retain the above copyright
11
 *   notice, this list of conditions and the following disclaimer.
12
 * - Redistributions in binary form must reproduce the above copyright
13
 *   notice, this list of conditions and the following disclaimer in the
14
 *   documentation and/or other materials provided with the distribution.
15
 * - The name of the author may not be used to endorse or promote products
16
 *   derived from this software without specific prior written permission.
17
 *
18
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28
 */
29
 
30
/** @addtogroup sparc64mm  
31
 * @{
32
 */
33
/** @file
34
 */
35
 
36
#ifndef KERN_sparc64_sun4v_AS_H_
37
#define KERN_sparc64_sun4v_AS_H_
38
 
39
#include <arch/mm/tte.h>
40
#include <arch/mm/tsb.h>
41
 
42
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  1
43
 
44
#define KERNEL_ADDRESS_SPACE_START_ARCH     (unsigned long) 0x0000000000000000
45
#define KERNEL_ADDRESS_SPACE_END_ARCH       (unsigned long) 0xffffffffffffffff
46
#define USER_ADDRESS_SPACE_START_ARCH       (unsigned long) 0x0000000000000000
47
#define USER_ADDRESS_SPACE_END_ARCH     (unsigned long) 0xffffffffffffffff
48
 
49
#define USTACK_ADDRESS_ARCH (0xffffffffffffffffULL - (PAGE_SIZE - 1))
50
 
51
#ifdef CONFIG_TSB
52
 
53
/**
54
 * TTE Tag.
55
 *
56
 * Even though for sun4v the format of the TSB Tag states that the context
57
 * field has 16 bits, the T1 CPU still only supports 13-bit contexts and the
58
 * three most significant bits are always zero.
59
 */
60
typedef union tte_tag {
61
    uint64_t value;
62
    struct {
63
        unsigned invalid : 1;   /**< Invalidated by software. */
64
        unsigned : 2;
65
        unsigned context : 13;  /**< Software ASID. */
66
        unsigned : 6;
67
        uint64_t va_tag : 42;   /**< Virtual address bits <63:22>. */
68
    } __attribute__ ((packed));
69
} tte_tag_t;
70
 
71
/** TSB entry. */
72
typedef struct tsb_entry {
73
    tte_tag_t tag;
74
    tte_data_t data;
75
} __attribute__ ((packed)) tsb_entry_t;
76
 
77
typedef struct {
78
    tsb_descr_t tsb_description;
79
} as_arch_t;
80
 
81
#else
82
 
83
typedef struct {
84
} as_arch_t;
85
 
86
#endif /* CONFIG_TSB */
87
 
88
#include <genarch/mm/as_ht.h>
89
 
90
#ifdef CONFIG_TSB
91
#include <arch/mm/tsb.h>
92
#define as_invalidate_translation_cache(as, page, cnt) \
93
    tsb_invalidate((as), (page), (cnt))
94
#else
95
#define as_invalidate_translation_cache(as, page, cnt)
96
#endif
97
 
98
extern void as_arch_init(void);
99
 
100
#endif
101
 
102
/** @}
103
 */