Subversion Repositories HelenOS-historic

Rev

Rev 1702 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1290 vana 1
/*
2
* Copyright (C) 2006 Jakub Vana
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.
1702 cejka 27
 */
28
 
29
 /** @addtogroup ia64mm
30
 * @{
31
 */
32
/** @file
1290 vana 33
*/
34
 
35
 
1210 vana 36
#ifndef __ia64_VHPT_H__
37
#define __ia64_VHPT_H__
38
 
39
#include <arch/mm/tlb.h>
40
#include <arch/mm/page.h>
41
 
1780 jermar 42
uintptr_t vhpt_set_up(void);
1210 vana 43
 
44
static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry)
45
{
46
    vhpt_entry_t ventry;
47
 
48
    ventry.word[0]=tentry.word[0];
49
    ventry.word[1]=tentry.word[1];
50
 
51
    return ventry;
52
}
53
 
1780 jermar 54
void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry);
1210 vana 55
void vhpt_invalidate_all(void);
56
void vhpt_invalidate_asid(asid_t asid);
57
 
58
 
59
#endif
60
 
1702 cejka 61
 
62
 /** @}
63
 */
64