Subversion Repositories HelenOS

Rev

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

Rev Author Line No. Line
418 jermar 1
/*
2
 * Copyright (C) 2005 Jakub Jermar
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
 
1784 jermar 29
/** @addtogroup sparc64
1702 cejka 30
 * @{
31
 */
32
/** @file
33
 */
34
 
1860 jermar 35
#ifndef KERN_sparc64_BARRIER_H_
36
#define KERN_sparc64_BARRIER_H_
418 jermar 37
 
38
/*
1902 jermar 39
 * We assume TSO memory model in which only reads can pass earlier stores
40
 * (but not earlier reads). Therefore, CS_ENTER_BARRIER() and CS_LEAVE_BARRIER()
41
 * can be empty.
418 jermar 42
 */
43
#define CS_ENTER_BARRIER()  __asm__ volatile ("" ::: "memory")
44
#define CS_LEAVE_BARRIER()  __asm__ volatile ("" ::: "memory")
45
 
1891 jermar 46
#define memory_barrier()    __asm__ volatile ("membar #LoadLoad | #StoreStore\n" ::: "memory")
47
#define read_barrier()      __asm__ volatile ("membar #LoadLoad\n" ::: "memory")
48
#define write_barrier()     __asm__ volatile ("membar #StoreStore\n" ::: "memory")
418 jermar 49
 
760 jermar 50
/** Flush Instruction Memory instruction. */
613 jermar 51
static inline void flush(void)
52
{
53
    /*
760 jermar 54
     * The FLUSH instruction takes address parameter.
55
     * As such, it may trap if the address is not found in DTLB.
1854 jermar 56
     *
57
     * The entire kernel text is mapped by a locked ITLB and
58
     * DTLB entries. Therefore, when this function is called,
59
     * the %o7 register will always be in the range mapped by
60
     * DTLB.
613 jermar 61
     */
883 jermar 62
 
1854 jermar 63
        __asm__ volatile ("flush %o7\n");
613 jermar 64
}
569 jermar 65
 
760 jermar 66
/** Memory Barrier instruction. */
758 jermar 67
static inline void membar(void)
68
{
69
    __asm__ volatile ("membar #Sync\n");
70
}
71
 
418 jermar 72
#endif
1702 cejka 73
 
1784 jermar 74
/** @}
1702 cejka 75
 */