WebSVN – HelenOS – Diff – /trunk/kernel/arch/sparc64/src/mm/tlb.c


/*
 * Copyright (c) 2005 Jakub Jermar
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
/** @addtogroup sparc64mm  
 * @{
 */
/** @file
 */
 
#include <arch/mm/tlb.h>
#include <mm/tlb.h>
#include <mm/as.h>
#include <mm/asid.h>
#include <arch/mm/frame.h>
#include <arch/mm/page.h>
#include <arch/mm/mmu.h>
#include <arch/interrupt.h>
#include <interrupt.h>
#include <arch.h>
#include <print.h>
#include <arch/types.h>
#include <typedefs.h>
#include <config.h>
#include <arch/trap/trap.h>
#include <arch/trap/exception.h>
#include <panic.h>
#include <arch/asm.h>
 
#ifdef CONFIG_TSB
#include <arch/mm/tsb.h>
#endif
 
static void dtlb_pte_copy(pte_t *t, bool ro);
static void itlb_pte_copy(pte_t *t);
static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const
    char *str);
static void do_fast_data_access_mmu_miss_fault(istate_t *istate,
     tlb_tag_access_reg_t tag, const char *str);
static void do_fast_data_access_protection_fault(istate_t *istate,
    tlb_tag_access_reg_t tag, const char *str);
 
char *context_encoding[] = {
    "Primary",
    "Secondary",
    "Nucleus",
    "Reserved"
};
 
void tlb_arch_init(void)
{
    /*
     * Invalidate all non-locked DTLB and ITLB entries.
     */
    tlb_invalidate_all();
 
    /*
     * Clear both SFSRs.
     */
    dtlb_sfsr_write(0);
    itlb_sfsr_write(0);
}
 
/** Insert privileged mapping into DMMU TLB.
 *
 * @param page Virtual page address.
 * @param frame Physical frame address.
 * @param pagesize Page size.
 * @param locked True for permanent mappings, false otherwise.
 * @param cacheable True if the mapping is cacheable, false otherwise.
 */
void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool
    locked, bool cacheable)
{
    tlb_tag_access_reg_t tag;
    tlb_data_t data;
    page_address_t pg;
    frame_address_t fr;
 
    pg.address = page;
    fr.address = frame;
 
    tag.value = ASID_KERNEL;
    tag.vpn = pg.vpn;
 
    dtlb_tag_access_write(tag.value);
 
    data.value = 0;
    data.v = true;
    data.size = pagesize;
    data.pfn = fr.pfn;
    data.l = locked;
    data.cp = cacheable;
#ifdef CONFIG_VIRT_IDX_DCACHE
    data.cv = cacheable;
#endif /* CONFIG_VIRT_IDX_DCACHE */
    data.p = true;
    data.w = true;
    data.g = false;
 
    dtlb_data_in_write(data.value);
}
 
/** Copy PTE to TLB.
 *
 * @param t Page Table Entry to be copied.
 * @param ro If true, the entry will be created read-only, regardless of its w
 *  field.
 */
void dtlb_pte_copy(pte_t *t, bool ro)
{
    tlb_tag_access_reg_t tag;
    tlb_data_t data;
    page_address_t pg;
    frame_address_t fr;
 
    pg.address = t->page;
    fr.address = t->frame;
 
    tag.value = 0;
    tag.context = t->as->asid;
    tag.vpn = pg.vpn;
   
    dtlb_tag_access_write(tag.value);
   
    data.value = 0;
    data.v = true;
    data.size = PAGESIZE_8K;
    data.pfn = fr.pfn;
    data.l = false;
    data.cp = t->c;
#ifdef CONFIG_VIRT_IDX_DCACHE
    data.cv = t->c;
#endif /* CONFIG_VIRT_IDX_DCACHE */
    data.p = t->k;      /* p like privileged */
    data.w = ro ? false : t->w;
    data.g = t->g;
   
    dtlb_data_in_write(data.value);
}
 
/** Copy PTE to ITLB.
 *
 * @param t Page Table Entry to be copied.
 */
void itlb_pte_copy(pte_t *t)
{
    tlb_tag_access_reg_t tag;
    tlb_data_t data;
    page_address_t pg;
    frame_address_t fr;
 
    pg.address = t->page;
    fr.address = t->frame;
 
    tag.value = 0;
    tag.context = t->as->asid;
    tag.vpn = pg.vpn;
   
    itlb_tag_access_write(tag.value);
   
    data.value = 0;
    data.v = true;
    data.size = PAGESIZE_8K;
    data.pfn = fr.pfn;
    data.l = false;
    data.cp = t->c;
    data.p = t->k;      /* p like privileged */
    data.w = false;
    data.g = t->g;
   
    itlb_data_in_write(data.value);
}
 
/** ITLB miss handler. */
void fast_instruction_access_mmu_miss(int n, istate_t *istate)
{
    uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);
    pte_t *t;
 
    page_table_lock(AS, true);
    t = page_mapping_find(AS, va);
    if (t && PTE_EXECUTABLE(t)) {
        /*
         * The mapping was found in the software page hash table.
         * Insert it into ITLB.
         */
        t->a = true;
        itlb_pte_copy(t);
#ifdef CONFIG_TSB
        itsb_pte_copy(t);
#endif
        page_table_unlock(AS, true);
    } else {
        /*
         * Forward the page fault to the address space page fault
         * handler.
         */    
        page_table_unlock(AS, true);
        if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
            do_fast_instruction_access_mmu_miss_fault(istate,
                __FUNCTION__);
        }
    }
}
 
/** DTLB miss handler.
 *
 * Note that some faults (e.g. kernel faults) were already resolved by the
 * low-level, assembly language part of the fast_data_access_mmu_miss handler.
 */
void fast_data_access_mmu_miss(int n, istate_t *istate)
{
    tlb_tag_access_reg_t tag;
    uintptr_t va;
    pte_t *t;
 
    tag.value = dtlb_tag_access_read();
    va = tag.vpn << PAGE_WIDTH;
 
    if (tag.context == ASID_KERNEL) {
        if (!tag.vpn) {
            /* NULL access in kernel */
            do_fast_data_access_mmu_miss_fault(istate, tag,
                __FUNCTION__);
        }
        do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected "
            "kernel page fault.");
    }
 
    page_table_lock(AS, true);
    t = page_mapping_find(AS, va);
    if (t) {
        /*
         * The mapping was found in the software page hash table.
         * Insert it into DTLB.
         */
        t->a = true;
        dtlb_pte_copy(t, true);
#ifdef CONFIG_TSB
        dtsb_pte_copy(t, true);
#endif
        page_table_unlock(AS, true);
    } else {
        /*
         * Forward the page fault to the address space page fault handler.
         */    
        page_table_unlock(AS, true);
        if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
            do_fast_data_access_mmu_miss_fault(istate, tag,
                __FUNCTION__);
        }
    }
}
 
/** DTLB protection fault handler. */
void fast_data_access_protection(int n, istate_t *istate)
{
    tlb_tag_access_reg_t tag;
    uintptr_t va;
    pte_t *t;
 
    tag.value = dtlb_tag_access_read();
    va = tag.vpn << PAGE_WIDTH;
 
    page_table_lock(AS, true);
    t = page_mapping_find(AS, va);
    if (t && PTE_WRITABLE(t)) {
        /*
         * The mapping was found in the software page hash table and is
         * writable. Demap the old mapping and insert an updated mapping
         * into DTLB.
         */
        t->a = true;
        t->d = true;
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va);
        dtlb_pte_copy(t, false);
#ifdef CONFIG_TSB
        dtsb_pte_copy(t, false);
#endif
        page_table_unlock(AS, true);
    } else {
        /*
         * Forward the page fault to the address space page fault
         * handler.
         */    
        page_table_unlock(AS, true);
        if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
            do_fast_data_access_protection_fault(istate, tag,
                __FUNCTION__);
        }
    }
}
 
/** Print contents of both TLBs. */
void tlb_print(void)
{
    int i;
    tlb_data_t d;
    tlb_tag_read_reg_t t;
   
    printf("I-TLB contents:\n");
    for (i = 0; i < ITLB_ENTRY_COUNT; i++) {
        d.value = itlb_data_access_read(i);
        t.value = itlb_tag_read_read(i);
       
        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
            "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
            t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
    }
 
    printf("D-TLB contents:\n");
    for (i = 0; i < DTLB_ENTRY_COUNT; i++) {
        d.value = dtlb_data_access_read(i);
        t.value = dtlb_tag_read_read(i);
       
        printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
            "ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
            "cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
            t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
            d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
    }
 
}
 
void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char
    *str)
{
    fault_if_from_uspace(istate, "%s\n", str);
    dump_istate(istate);
    panic("%s\n", str);
}
 
void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t
    tag, const char *str)
{
    uintptr_t va;
 
    va = tag.vpn << PAGE_WIDTH;
 
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
        tag.context);
    dump_istate(istate);
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
    panic("%s\n", str);
}
 
void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t
    tag, const char *str)
{
    uintptr_t va;
 
    va = tag.vpn << PAGE_WIDTH;
 
    fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
        tag.context);
    printf("Faulting page: %p, ASID=%d\n", va, tag.context);
    dump_istate(istate);
    panic("%s\n", str);
}
 
void dump_sfsr_and_sfar(void)
{
    tlb_sfsr_reg_t sfsr;
    uintptr_t sfar;
 
    sfsr.value = dtlb_sfsr_read();
    sfar = dtlb_sfar_read();
   
    printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, "
        "fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w,
        sfsr.ow, sfsr.fv);
    printf("DTLB SFAR: address=%p\n", sfar);
   
    dtlb_sfsr_write(0);
}
 
/** Invalidate all unlocked ITLB and DTLB entries. */
void tlb_invalidate_all(void)
{
    int i;
    tlb_data_t d;
    tlb_tag_read_reg_t t;
 
    for (i = 0; i < ITLB_ENTRY_COUNT; i++) {
        d.value = itlb_data_access_read(i);
        if (!d.l) {
            t.value = itlb_tag_read_read(i);
            d.v = false;
            itlb_tag_access_write(t.value);
            itlb_data_access_write(i, d.value);
        }
    }
   
    for (i = 0; i < DTLB_ENTRY_COUNT; i++) {
        d.value = dtlb_data_access_read(i);
        if (!d.l) {
            t.value = dtlb_tag_read_read(i);
            d.v = false;
            dtlb_tag_access_write(t.value);
            dtlb_data_access_write(i, d.value);
        }
    }
   
}
 
/** Invalidate all ITLB and DTLB entries that belong to specified ASID
 * (Context).
 *
 * @param asid Address Space ID.
 */
void tlb_invalidate_asid(asid_t asid)
{
    tlb_context_reg_t pc_save, ctx;
   
    /* switch to nucleus because we are mapped by the primary context */
    nucleus_enter();
   
    ctx.v = pc_save.v = mmu_primary_context_read();
    ctx.context = asid;
    mmu_primary_context_write(ctx.v);
   
    itlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0);
    dtlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0);
   
    mmu_primary_context_write(pc_save.v);
   
    nucleus_leave();
}
 
/** Invalidate all ITLB and DTLB entries for specified page range in specified
 * address space.
 *
 * @param asid Address Space ID.
 * @param page First page which to sweep out from ITLB and DTLB.
 * @param cnt Number of ITLB and DTLB entries to invalidate.
 */
void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
{
    int i;
    tlb_context_reg_t pc_save, ctx;
   
    /* switch to nucleus because we are mapped by the primary context */
    nucleus_enter();
   
    ctx.v = pc_save.v = mmu_primary_context_read();
    ctx.context = asid;
    mmu_primary_context_write(ctx.v);
   
    for (i = 0; i < cnt; i++) {
        itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i *
            PAGE_SIZE);
        dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i *
            PAGE_SIZE);
    }
   
    mmu_primary_context_write(pc_save.v);
   
    nucleus_leave();
}
 
/** @}
 */
 

Rev 2048	Rev 2071
1	/*	1	/*
2	* Copyright (C) 2005 Jakub Jermar	2	* Copyright (c) 2005 Jakub Jermar
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	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	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.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	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	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	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	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	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	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.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	*/	27	*/
28		28
29	/** @addtogroup sparc64mm	29	/** @addtogroup sparc64mm
30	* @{	30	* @{
31	*/	31	*/
32	/** @file	32	/** @file
33	*/	33	*/
34		34
35	#include <arch/mm/tlb.h>	35	#include <arch/mm/tlb.h>
36	#include <mm/tlb.h>	36	#include <mm/tlb.h>
37	#include <mm/as.h>	37	#include <mm/as.h>
38	#include <mm/asid.h>	38	#include <mm/asid.h>
39	#include <arch/mm/frame.h>	39	#include <arch/mm/frame.h>
40	#include <arch/mm/page.h>	40	#include <arch/mm/page.h>
41	#include <arch/mm/mmu.h>	41	#include <arch/mm/mmu.h>
42	#include <arch/interrupt.h>	42	#include <arch/interrupt.h>
43	#include <interrupt.h>	43	#include <interrupt.h>
44	#include <arch.h>	44	#include <arch.h>
45	#include <print.h>	45	#include <print.h>
46	#include <arch/types.h>	46	#include <arch/types.h>
47	#include <typedefs.h>	47	#include <typedefs.h>
48	#include <config.h>	48	#include <config.h>
49	#include <arch/trap/trap.h>	49	#include <arch/trap/trap.h>
50	#include <arch/trap/exception.h>	50	#include <arch/trap/exception.h>
51	#include <panic.h>	51	#include <panic.h>
52	#include <arch/asm.h>	52	#include <arch/asm.h>
53		53
54	#ifdef CONFIG_TSB	54	#ifdef CONFIG_TSB
55	#include <arch/mm/tsb.h>	55	#include <arch/mm/tsb.h>
56	#endif	56	#endif
57		57
58	static void dtlb_pte_copy(pte_t *t, bool ro);	58	static void dtlb_pte_copy(pte_t *t, bool ro);
59	static void itlb_pte_copy(pte_t *t);	59	static void itlb_pte_copy(pte_t *t);
60	static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const	60	static void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const
61	char *str);	61	char *str);
62	static void do_fast_data_access_mmu_miss_fault(istate_t *istate,	62	static void do_fast_data_access_mmu_miss_fault(istate_t *istate,
63	tlb_tag_access_reg_t tag, const char *str);	63	tlb_tag_access_reg_t tag, const char *str);
64	static void do_fast_data_access_protection_fault(istate_t *istate,	64	static void do_fast_data_access_protection_fault(istate_t *istate,
65	tlb_tag_access_reg_t tag, const char *str);	65	tlb_tag_access_reg_t tag, const char *str);
66		66
67	char *context_encoding[] = {	67	char *context_encoding[] = {
68	"Primary",	68	"Primary",
69	"Secondary",	69	"Secondary",
70	"Nucleus",	70	"Nucleus",
71	"Reserved"	71	"Reserved"
72	};	72	};
73		73
74	void tlb_arch_init(void)	74	void tlb_arch_init(void)
75	{	75	{
76	/*	76	/*
77	* Invalidate all non-locked DTLB and ITLB entries.	77	* Invalidate all non-locked DTLB and ITLB entries.
78	*/	78	*/
79	tlb_invalidate_all();	79	tlb_invalidate_all();
80		80
81	/*	81	/*
82	* Clear both SFSRs.	82	* Clear both SFSRs.
83	*/	83	*/
84	dtlb_sfsr_write(0);	84	dtlb_sfsr_write(0);
85	itlb_sfsr_write(0);	85	itlb_sfsr_write(0);
86	}	86	}
87		87
88	/** Insert privileged mapping into DMMU TLB.	88	/** Insert privileged mapping into DMMU TLB.
89	*	89	*
90	* @param page Virtual page address.	90	* @param page Virtual page address.
91	* @param frame Physical frame address.	91	* @param frame Physical frame address.
92	* @param pagesize Page size.	92	* @param pagesize Page size.
93	* @param locked True for permanent mappings, false otherwise.	93	* @param locked True for permanent mappings, false otherwise.
94	* @param cacheable True if the mapping is cacheable, false otherwise.	94	* @param cacheable True if the mapping is cacheable, false otherwise.
95	*/	95	*/
96	void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool	96	void dtlb_insert_mapping(uintptr_t page, uintptr_t frame, int pagesize, bool
97	locked, bool cacheable)	97	locked, bool cacheable)
98	{	98	{
99	tlb_tag_access_reg_t tag;	99	tlb_tag_access_reg_t tag;
100	tlb_data_t data;	100	tlb_data_t data;
101	page_address_t pg;	101	page_address_t pg;
102	frame_address_t fr;	102	frame_address_t fr;
103		103
104	pg.address = page;	104	pg.address = page;
105	fr.address = frame;	105	fr.address = frame;
106		106
107	tag.value = ASID_KERNEL;	107	tag.value = ASID_KERNEL;
108	tag.vpn = pg.vpn;	108	tag.vpn = pg.vpn;
109		109
110	dtlb_tag_access_write(tag.value);	110	dtlb_tag_access_write(tag.value);
111		111
112	data.value = 0;	112	data.value = 0;
113	data.v = true;	113	data.v = true;
114	data.size = pagesize;	114	data.size = pagesize;
115	data.pfn = fr.pfn;	115	data.pfn = fr.pfn;
116	data.l = locked;	116	data.l = locked;
117	data.cp = cacheable;	117	data.cp = cacheable;
118	#ifdef CONFIG_VIRT_IDX_DCACHE	118	#ifdef CONFIG_VIRT_IDX_DCACHE
119	data.cv = cacheable;	119	data.cv = cacheable;
120	#endif /* CONFIG_VIRT_IDX_DCACHE */	120	#endif /* CONFIG_VIRT_IDX_DCACHE */
121	data.p = true;	121	data.p = true;
122	data.w = true;	122	data.w = true;
123	data.g = false;	123	data.g = false;
124		124
125	dtlb_data_in_write(data.value);	125	dtlb_data_in_write(data.value);
126	}	126	}
127		127
128	/** Copy PTE to TLB.	128	/** Copy PTE to TLB.
129	*	129	*
130	* @param t Page Table Entry to be copied.	130	* @param t Page Table Entry to be copied.
131	* @param ro If true, the entry will be created read-only, regardless of its w	131	* @param ro If true, the entry will be created read-only, regardless of its w
132	* field.	132	* field.
133	*/	133	*/
134	void dtlb_pte_copy(pte_t *t, bool ro)	134	void dtlb_pte_copy(pte_t *t, bool ro)
135	{	135	{
136	tlb_tag_access_reg_t tag;	136	tlb_tag_access_reg_t tag;
137	tlb_data_t data;	137	tlb_data_t data;
138	page_address_t pg;	138	page_address_t pg;
139	frame_address_t fr;	139	frame_address_t fr;
140		140
141	pg.address = t->page;	141	pg.address = t->page;
142	fr.address = t->frame;	142	fr.address = t->frame;
143		143
144	tag.value = 0;	144	tag.value = 0;
145	tag.context = t->as->asid;	145	tag.context = t->as->asid;
146	tag.vpn = pg.vpn;	146	tag.vpn = pg.vpn;
147		147
148	dtlb_tag_access_write(tag.value);	148	dtlb_tag_access_write(tag.value);
149		149
150	data.value = 0;	150	data.value = 0;
151	data.v = true;	151	data.v = true;
152	data.size = PAGESIZE_8K;	152	data.size = PAGESIZE_8K;
153	data.pfn = fr.pfn;	153	data.pfn = fr.pfn;
154	data.l = false;	154	data.l = false;
155	data.cp = t->c;	155	data.cp = t->c;
156	#ifdef CONFIG_VIRT_IDX_DCACHE	156	#ifdef CONFIG_VIRT_IDX_DCACHE
157	data.cv = t->c;	157	data.cv = t->c;
158	#endif /* CONFIG_VIRT_IDX_DCACHE */	158	#endif /* CONFIG_VIRT_IDX_DCACHE */
159	data.p = t->k; /* p like privileged */	159	data.p = t->k; /* p like privileged */
160	data.w = ro ? false : t->w;	160	data.w = ro ? false : t->w;
161	data.g = t->g;	161	data.g = t->g;
162		162
163	dtlb_data_in_write(data.value);	163	dtlb_data_in_write(data.value);
164	}	164	}
165		165
166	/** Copy PTE to ITLB.	166	/** Copy PTE to ITLB.
167	*	167	*
168	* @param t Page Table Entry to be copied.	168	* @param t Page Table Entry to be copied.
169	*/	169	*/
170	void itlb_pte_copy(pte_t *t)	170	void itlb_pte_copy(pte_t *t)
171	{	171	{
172	tlb_tag_access_reg_t tag;	172	tlb_tag_access_reg_t tag;
173	tlb_data_t data;	173	tlb_data_t data;
174	page_address_t pg;	174	page_address_t pg;
175	frame_address_t fr;	175	frame_address_t fr;
176		176
177	pg.address = t->page;	177	pg.address = t->page;
178	fr.address = t->frame;	178	fr.address = t->frame;
179		179
180	tag.value = 0;	180	tag.value = 0;
181	tag.context = t->as->asid;	181	tag.context = t->as->asid;
182	tag.vpn = pg.vpn;	182	tag.vpn = pg.vpn;
183		183
184	itlb_tag_access_write(tag.value);	184	itlb_tag_access_write(tag.value);
185		185
186	data.value = 0;	186	data.value = 0;
187	data.v = true;	187	data.v = true;
188	data.size = PAGESIZE_8K;	188	data.size = PAGESIZE_8K;
189	data.pfn = fr.pfn;	189	data.pfn = fr.pfn;
190	data.l = false;	190	data.l = false;
191	data.cp = t->c;	191	data.cp = t->c;
192	data.p = t->k; /* p like privileged */	192	data.p = t->k; /* p like privileged */
193	data.w = false;	193	data.w = false;
194	data.g = t->g;	194	data.g = t->g;
195		195
196	itlb_data_in_write(data.value);	196	itlb_data_in_write(data.value);
197	}	197	}
198		198
199	/** ITLB miss handler. */	199	/** ITLB miss handler. */
200	void fast_instruction_access_mmu_miss(int n, istate_t *istate)	200	void fast_instruction_access_mmu_miss(int n, istate_t *istate)
201	{	201	{
202	uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);	202	uintptr_t va = ALIGN_DOWN(istate->tpc, PAGE_SIZE);
203	pte_t *t;	203	pte_t *t;
204		204
205	page_table_lock(AS, true);	205	page_table_lock(AS, true);
206	t = page_mapping_find(AS, va);	206	t = page_mapping_find(AS, va);
207	if (t && PTE_EXECUTABLE(t)) {	207	if (t && PTE_EXECUTABLE(t)) {
208	/*	208	/*
209	* The mapping was found in the software page hash table.	209	* The mapping was found in the software page hash table.
210	* Insert it into ITLB.	210	* Insert it into ITLB.
211	*/	211	*/
212	t->a = true;	212	t->a = true;
213	itlb_pte_copy(t);	213	itlb_pte_copy(t);
214	#ifdef CONFIG_TSB	214	#ifdef CONFIG_TSB
215	itsb_pte_copy(t);	215	itsb_pte_copy(t);
216	#endif	216	#endif
217	page_table_unlock(AS, true);	217	page_table_unlock(AS, true);
218	} else {	218	} else {
219	/*	219	/*
220	* Forward the page fault to the address space page fault	220	* Forward the page fault to the address space page fault
221	* handler.	221	* handler.
222	*/	222	*/
223	page_table_unlock(AS, true);	223	page_table_unlock(AS, true);
224	if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {	224	if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
225	do_fast_instruction_access_mmu_miss_fault(istate,	225	do_fast_instruction_access_mmu_miss_fault(istate,
226	__FUNCTION__);	226	__FUNCTION__);
227	}	227	}
228	}	228	}
229	}	229	}
230		230
231	/** DTLB miss handler.	231	/** DTLB miss handler.
232	*	232	*
233	* Note that some faults (e.g. kernel faults) were already resolved by the	233	* Note that some faults (e.g. kernel faults) were already resolved by the
234	* low-level, assembly language part of the fast_data_access_mmu_miss handler.	234	* low-level, assembly language part of the fast_data_access_mmu_miss handler.
235	*/	235	*/
236	void fast_data_access_mmu_miss(int n, istate_t *istate)	236	void fast_data_access_mmu_miss(int n, istate_t *istate)
237	{	237	{
238	tlb_tag_access_reg_t tag;	238	tlb_tag_access_reg_t tag;
239	uintptr_t va;	239	uintptr_t va;
240	pte_t *t;	240	pte_t *t;
241		241
242	tag.value = dtlb_tag_access_read();	242	tag.value = dtlb_tag_access_read();
243	va = tag.vpn << PAGE_WIDTH;	243	va = tag.vpn << PAGE_WIDTH;
244		244
245	if (tag.context == ASID_KERNEL) {	245	if (tag.context == ASID_KERNEL) {
246	if (!tag.vpn) {	246	if (!tag.vpn) {
247	/* NULL access in kernel */	247	/* NULL access in kernel */
248	do_fast_data_access_mmu_miss_fault(istate, tag,	248	do_fast_data_access_mmu_miss_fault(istate, tag,
249	__FUNCTION__);	249	__FUNCTION__);
250	}	250	}
251	do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected "	251	do_fast_data_access_mmu_miss_fault(istate, tag, "Unexpected "
252	"kernel page fault.");	252	"kernel page fault.");
253	}	253	}
254		254
255	page_table_lock(AS, true);	255	page_table_lock(AS, true);
256	t = page_mapping_find(AS, va);	256	t = page_mapping_find(AS, va);
257	if (t) {	257	if (t) {
258	/*	258	/*
259	* The mapping was found in the software page hash table.	259	* The mapping was found in the software page hash table.
260	* Insert it into DTLB.	260	* Insert it into DTLB.
261	*/	261	*/
262	t->a = true;	262	t->a = true;
263	dtlb_pte_copy(t, true);	263	dtlb_pte_copy(t, true);
264	#ifdef CONFIG_TSB	264	#ifdef CONFIG_TSB
265	dtsb_pte_copy(t, true);	265	dtsb_pte_copy(t, true);
266	#endif	266	#endif
267	page_table_unlock(AS, true);	267	page_table_unlock(AS, true);
268	} else {	268	} else {
269	/*	269	/*
270	* Forward the page fault to the address space page fault handler.	270	* Forward the page fault to the address space page fault handler.
271	*/	271	*/
272	page_table_unlock(AS, true);	272	page_table_unlock(AS, true);
273	if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {	273	if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
274	do_fast_data_access_mmu_miss_fault(istate, tag,	274	do_fast_data_access_mmu_miss_fault(istate, tag,
275	__FUNCTION__);	275	__FUNCTION__);
276	}	276	}
277	}	277	}
278	}	278	}
279		279
280	/** DTLB protection fault handler. */	280	/** DTLB protection fault handler. */
281	void fast_data_access_protection(int n, istate_t *istate)	281	void fast_data_access_protection(int n, istate_t *istate)
282	{	282	{
283	tlb_tag_access_reg_t tag;	283	tlb_tag_access_reg_t tag;
284	uintptr_t va;	284	uintptr_t va;
285	pte_t *t;	285	pte_t *t;
286		286
287	tag.value = dtlb_tag_access_read();	287	tag.value = dtlb_tag_access_read();
288	va = tag.vpn << PAGE_WIDTH;	288	va = tag.vpn << PAGE_WIDTH;
289		289
290	page_table_lock(AS, true);	290	page_table_lock(AS, true);
291	t = page_mapping_find(AS, va);	291	t = page_mapping_find(AS, va);
292	if (t && PTE_WRITABLE(t)) {	292	if (t && PTE_WRITABLE(t)) {
293	/*	293	/*
294	* The mapping was found in the software page hash table and is	294	* The mapping was found in the software page hash table and is
295	* writable. Demap the old mapping and insert an updated mapping	295	* writable. Demap the old mapping and insert an updated mapping
296	* into DTLB.	296	* into DTLB.
297	*/	297	*/
298	t->a = true;	298	t->a = true;
299	t->d = true;	299	t->d = true;
300	dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va);	300	dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_SECONDARY, va);
301	dtlb_pte_copy(t, false);	301	dtlb_pte_copy(t, false);
302	#ifdef CONFIG_TSB	302	#ifdef CONFIG_TSB
303	dtsb_pte_copy(t, false);	303	dtsb_pte_copy(t, false);
304	#endif	304	#endif
305	page_table_unlock(AS, true);	305	page_table_unlock(AS, true);
306	} else {	306	} else {
307	/*	307	/*
308	* Forward the page fault to the address space page fault	308	* Forward the page fault to the address space page fault
309	* handler.	309	* handler.
310	*/	310	*/
311	page_table_unlock(AS, true);	311	page_table_unlock(AS, true);
312	if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {	312	if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
313	do_fast_data_access_protection_fault(istate, tag,	313	do_fast_data_access_protection_fault(istate, tag,
314	__FUNCTION__);	314	__FUNCTION__);
315	}	315	}
316	}	316	}
317	}	317	}
318		318
319	/** Print contents of both TLBs. */	319	/** Print contents of both TLBs. */
320	void tlb_print(void)	320	void tlb_print(void)
321	{	321	{
322	int i;	322	int i;
323	tlb_data_t d;	323	tlb_data_t d;
324	tlb_tag_read_reg_t t;	324	tlb_tag_read_reg_t t;
325		325
326	printf("I-TLB contents:\n");	326	printf("I-TLB contents:\n");
327	for (i = 0; i < ITLB_ENTRY_COUNT; i++) {	327	for (i = 0; i < ITLB_ENTRY_COUNT; i++) {
328	d.value = itlb_data_access_read(i);	328	d.value = itlb_data_access_read(i);
329	t.value = itlb_tag_read_read(i);	329	t.value = itlb_tag_read_read(i);
330		330
331	printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "	331	printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
332	"ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "	332	"ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
333	"cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,	333	"cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
334	t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,	334	t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
335	d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);	335	d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
336	}	336	}
337		337
338	printf("D-TLB contents:\n");	338	printf("D-TLB contents:\n");
339	for (i = 0; i < DTLB_ENTRY_COUNT; i++) {	339	for (i = 0; i < DTLB_ENTRY_COUNT; i++) {
340	d.value = dtlb_data_access_read(i);	340	d.value = dtlb_data_access_read(i);
341	t.value = dtlb_tag_read_read(i);	341	t.value = dtlb_tag_read_read(i);
342		342
343	printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "	343	printf("%d: vpn=%#llx, context=%d, v=%d, size=%d, nfo=%d, "
344	"ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "	344	"ie=%d, soft2=%#x, diag=%#x, pfn=%#x, soft=%#x, l=%d, "
345	"cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,	345	"cp=%d, cv=%d, e=%d, p=%d, w=%d, g=%d\n", i, t.vpn,
346	t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,	346	t.context, d.v, d.size, d.nfo, d.ie, d.soft2, d.diag,
347	d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);	347	d.pfn, d.soft, d.l, d.cp, d.cv, d.e, d.p, d.w, d.g);
348	}	348	}
349		349
350	}	350	}
351		351
352	void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char	352	void do_fast_instruction_access_mmu_miss_fault(istate_t *istate, const char
353	*str)	353	*str)
354	{	354	{
355	fault_if_from_uspace(istate, "%s\n", str);	355	fault_if_from_uspace(istate, "%s\n", str);
356	dump_istate(istate);	356	dump_istate(istate);
357	panic("%s\n", str);	357	panic("%s\n", str);
358	}	358	}
359		359
360	void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t	360	void do_fast_data_access_mmu_miss_fault(istate_t *istate, tlb_tag_access_reg_t
361	tag, const char *str)	361	tag, const char *str)
362	{	362	{
363	uintptr_t va;	363	uintptr_t va;
364		364
365	va = tag.vpn << PAGE_WIDTH;	365	va = tag.vpn << PAGE_WIDTH;
366		366
367	fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,	367	fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
368	tag.context);	368	tag.context);
369	dump_istate(istate);	369	dump_istate(istate);
370	printf("Faulting page: %p, ASID=%d\n", va, tag.context);	370	printf("Faulting page: %p, ASID=%d\n", va, tag.context);
371	panic("%s\n", str);	371	panic("%s\n", str);
372	}	372	}
373		373
374	void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t	374	void do_fast_data_access_protection_fault(istate_t *istate, tlb_tag_access_reg_t
375	tag, const char *str)	375	tag, const char *str)
376	{	376	{
377	uintptr_t va;	377	uintptr_t va;
378		378
379	va = tag.vpn << PAGE_WIDTH;	379	va = tag.vpn << PAGE_WIDTH;
380		380
381	fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,	381	fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)\n", str, va,
382	tag.context);	382	tag.context);
383	printf("Faulting page: %p, ASID=%d\n", va, tag.context);	383	printf("Faulting page: %p, ASID=%d\n", va, tag.context);
384	dump_istate(istate);	384	dump_istate(istate);
385	panic("%s\n", str);	385	panic("%s\n", str);
386	}	386	}
387		387
388	void dump_sfsr_and_sfar(void)	388	void dump_sfsr_and_sfar(void)
389	{	389	{
390	tlb_sfsr_reg_t sfsr;	390	tlb_sfsr_reg_t sfsr;
391	uintptr_t sfar;	391	uintptr_t sfar;
392		392
393	sfsr.value = dtlb_sfsr_read();	393	sfsr.value = dtlb_sfsr_read();
394	sfar = dtlb_sfar_read();	394	sfar = dtlb_sfar_read();
395		395
396	printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, "	396	printf("DTLB SFSR: asi=%#x, ft=%#x, e=%d, ct=%d, pr=%d, w=%d, ow=%d, "
397	"fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w,	397	"fv=%d\n", sfsr.asi, sfsr.ft, sfsr.e, sfsr.ct, sfsr.pr, sfsr.w,
398	sfsr.ow, sfsr.fv);	398	sfsr.ow, sfsr.fv);
399	printf("DTLB SFAR: address=%p\n", sfar);	399	printf("DTLB SFAR: address=%p\n", sfar);
400		400
401	dtlb_sfsr_write(0);	401	dtlb_sfsr_write(0);
402	}	402	}
403		403
404	/** Invalidate all unlocked ITLB and DTLB entries. */	404	/** Invalidate all unlocked ITLB and DTLB entries. */
405	void tlb_invalidate_all(void)	405	void tlb_invalidate_all(void)
406	{	406	{
407	int i;	407	int i;
408	tlb_data_t d;	408	tlb_data_t d;
409	tlb_tag_read_reg_t t;	409	tlb_tag_read_reg_t t;
410		410
411	for (i = 0; i < ITLB_ENTRY_COUNT; i++) {	411	for (i = 0; i < ITLB_ENTRY_COUNT; i++) {
412	d.value = itlb_data_access_read(i);	412	d.value = itlb_data_access_read(i);
413	if (!d.l) {	413	if (!d.l) {
414	t.value = itlb_tag_read_read(i);	414	t.value = itlb_tag_read_read(i);
415	d.v = false;	415	d.v = false;
416	itlb_tag_access_write(t.value);	416	itlb_tag_access_write(t.value);
417	itlb_data_access_write(i, d.value);	417	itlb_data_access_write(i, d.value);
418	}	418	}
419	}	419	}
420		420
421	for (i = 0; i < DTLB_ENTRY_COUNT; i++) {	421	for (i = 0; i < DTLB_ENTRY_COUNT; i++) {
422	d.value = dtlb_data_access_read(i);	422	d.value = dtlb_data_access_read(i);
423	if (!d.l) {	423	if (!d.l) {
424	t.value = dtlb_tag_read_read(i);	424	t.value = dtlb_tag_read_read(i);
425	d.v = false;	425	d.v = false;
426	dtlb_tag_access_write(t.value);	426	dtlb_tag_access_write(t.value);
427	dtlb_data_access_write(i, d.value);	427	dtlb_data_access_write(i, d.value);
428	}	428	}
429	}	429	}
430		430
431	}	431	}
432		432
433	/** Invalidate all ITLB and DTLB entries that belong to specified ASID	433	/** Invalidate all ITLB and DTLB entries that belong to specified ASID
434	* (Context).	434	* (Context).
435	*	435	*
436	* @param asid Address Space ID.	436	* @param asid Address Space ID.
437	*/	437	*/
438	void tlb_invalidate_asid(asid_t asid)	438	void tlb_invalidate_asid(asid_t asid)
439	{	439	{
440	tlb_context_reg_t pc_save, ctx;	440	tlb_context_reg_t pc_save, ctx;
441		441
442	/* switch to nucleus because we are mapped by the primary context */	442	/* switch to nucleus because we are mapped by the primary context */
443	nucleus_enter();	443	nucleus_enter();
444		444
445	ctx.v = pc_save.v = mmu_primary_context_read();	445	ctx.v = pc_save.v = mmu_primary_context_read();
446	ctx.context = asid;	446	ctx.context = asid;
447	mmu_primary_context_write(ctx.v);	447	mmu_primary_context_write(ctx.v);
448		448
449	itlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0);	449	itlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0);
450	dtlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0);	450	dtlb_demap(TLB_DEMAP_CONTEXT, TLB_DEMAP_PRIMARY, 0);
451		451
452	mmu_primary_context_write(pc_save.v);	452	mmu_primary_context_write(pc_save.v);
453		453
454	nucleus_leave();	454	nucleus_leave();
455	}	455	}
456		456
457	/** Invalidate all ITLB and DTLB entries for specified page range in specified	457	/** Invalidate all ITLB and DTLB entries for specified page range in specified
458	* address space.	458	* address space.
459	*	459	*
460	* @param asid Address Space ID.	460	* @param asid Address Space ID.
461	* @param page First page which to sweep out from ITLB and DTLB.	461	* @param page First page which to sweep out from ITLB and DTLB.
462	* @param cnt Number of ITLB and DTLB entries to invalidate.	462	* @param cnt Number of ITLB and DTLB entries to invalidate.
463	*/	463	*/
464	void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)	464	void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
465	{	465	{
466	int i;	466	int i;
467	tlb_context_reg_t pc_save, ctx;	467	tlb_context_reg_t pc_save, ctx;
468		468
469	/* switch to nucleus because we are mapped by the primary context */	469	/* switch to nucleus because we are mapped by the primary context */
470	nucleus_enter();	470	nucleus_enter();
471		471
472	ctx.v = pc_save.v = mmu_primary_context_read();	472	ctx.v = pc_save.v = mmu_primary_context_read();
473	ctx.context = asid;	473	ctx.context = asid;
474	mmu_primary_context_write(ctx.v);	474	mmu_primary_context_write(ctx.v);
475		475
476	for (i = 0; i < cnt; i++) {	476	for (i = 0; i < cnt; i++) {
477	itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i *	477	itlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i *
478	PAGE_SIZE);	478	PAGE_SIZE);
479	dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i *	479	dtlb_demap(TLB_DEMAP_PAGE, TLB_DEMAP_PRIMARY, page + i *
480	PAGE_SIZE);	480	PAGE_SIZE);
481	}	481	}
482		482
483	mmu_primary_context_write(pc_save.v);	483	mmu_primary_context_write(pc_save.v);
484		484
485	nucleus_leave();	485	nucleus_leave();
486	}	486	}
487		487
488	/** @}	488	/** @}
489	*/	489	*/
490		490

Subversion Repositories HelenOS

(root)/trunk/kernel/arch/sparc64/src/mm/tlb.c – Rev 2048 → 2071