Subversion Repositories HelenOS

Rev

Rev 3862 | Details | Compare with Previous | 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 {
4129 rimsky 63
        unsigned : 3;
3862 rimsky 64
        unsigned context : 13;  /**< Software ASID. */
65
        unsigned : 6;
66
        uint64_t va_tag : 42;   /**< Virtual address bits <63:22>. */
67
    } __attribute__ ((packed));
68
} tte_tag_t;
69
 
70
/** TSB entry. */
71
typedef struct tsb_entry {
72
    tte_tag_t tag;
73
    tte_data_t data;
74
} __attribute__ ((packed)) tsb_entry_t;
75
 
76
typedef struct {
77
    tsb_descr_t tsb_description;
78
} as_arch_t;
79
 
80
#else
81
 
82
typedef struct {
83
} as_arch_t;
84
 
85
#endif /* CONFIG_TSB */
86
 
87
#include <genarch/mm/as_ht.h>
88
 
89
#ifdef CONFIG_TSB
90
#include <arch/mm/tsb.h>
91
#define as_invalidate_translation_cache(as, page, cnt) \
92
    tsb_invalidate((as), (page), (cnt))
93
#else
94
#define as_invalidate_translation_cache(as, page, cnt)
95
#endif
96
 
97
extern void as_arch_init(void);
98
 
99
#endif
100
 
101
/** @}
102
 */