Subversion Repositories HelenOS

Rev

Rev 1965 | 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.
27
*/
28
 
29
 
1210 vana 30
#ifndef __ia64_VHPT_H__
31
#define __ia64_VHPT_H__
32
 
33
#include <arch/mm/tlb.h>
34
#include <arch/mm/page.h>
35
 
36
__address vhpt_set_up(void);
37
 
38
static inline vhpt_entry_t tlb_entry_t2vhpt_entry_t(tlb_entry_t tentry)
39
{
40
    vhpt_entry_t ventry;
41
 
42
    ventry.word[0]=tentry.word[0];
43
    ventry.word[1]=tentry.word[1];
44
 
45
    return ventry;
46
}
47
 
48
void vhpt_mapping_insert(__address va, asid_t asid, tlb_entry_t entry);
49
void vhpt_invalidate_all(void);
50
void vhpt_invalidate_asid(asid_t asid);
51
 
52
 
53
#endif
54