Changeset e12ccc5 in mainline for kernel/arch/xen32/src


Ignore:
Timestamp:
2006-08-01T17:27:11Z (19 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
0fbfa0d
Parents:
e386cbf
Message:

xen32: use writable page tables, cleanup mm

Location:
kernel/arch/xen32/src
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/xen32/src/boot/boot.S

    re386cbf re12ccc5  
    3333
    3434.section __xen_guest
    35         .ascii  "GUEST_OS=HelenOS,"
    36         .ascii  "XEN_VER=xen-3.0,"
    37         .ascii  "HYPERCALL_PAGE=0x0000,"
    38         .ascii  "LOADER=generic"
     35        .ascii "GUEST_OS=HelenOS,"
     36        .ascii "XEN_VER=xen-3.0,"
     37        .ascii "HYPERCALL_PAGE=0x0000,"
     38        .ascii "LOADER=generic,"
     39        .ascii "FEATURES=writable_page_tables"
    3940        .byte   0
    4041
    … …  
    5253        cld
    5354        rep movsb
    54 
     55       
     56        # switch to temporal kernel stack
     57       
     58        movl $kernel_stack, %esp
     59       
     60        call arch_pre_main
    5561        call main_bsp                                                           # never returns
    5662
    5763        cli
    5864        hlt
     65
     66kernel_stack_bottom:
     67        .space TEMP_STACK_SIZE
     68kernel_stack:
    5969
    6070.section K_TEXT_START, "aw", @progbits
    … …  
    6373hypercall_page:
    6474        .space PAGE_SIZE
     75
     76.global shared_info
     77.org 0x1000
     78shared_info:
     79        .space PAGE_SIZE

  • kernel/arch/xen32/src/mm/frame.c

    re386cbf re12ccc5  
    3535
    3636#include <mm/frame.h>
    37 #include <arch/mm/frame.h>
    38 #include <mm/as.h>
    3937#include <config.h>
    40 #include <arch/boot/boot.h>
    41 #include <arch/hypercall.h>
    42 #include <panic.h>
    43 #include <debug.h>
    44 #include <align.h>
    45 #include <macros.h>
    46 
    47 #include <console/cmd.h>
    48 #include <console/kconsole.h>
    49 
    50 uintptr_t last_frame = 0;
    51 
    52 #define L0_PT_SHIFT     10
    53 #define L3_PT_SHIFT     0
    54 
    55 #define L0_PT_ENTRIES   1024
    56 #define L3_PT_ENTRIES   1024
    57 
    58 #define L0_INDEX_MASK                   (L0_PT_ENTRIES - 1)
    59 #define L3_INDEX_MASK                   (L3_PT_ENTRIES - 1)
    60 
    61 #define PFN2PTL0_INDEX(pfn)     ((pfn >> L0_PT_SHIFT) & L0_INDEX_MASK)
    62 #define PFN2PTL3_INDEX(pfn)     ((pfn >> L3_PT_SHIFT) & L3_INDEX_MASK)
    63 
    64 #define PAGE_MASK       (~(PAGE_SIZE - 1))
    65 
    66 #define _PAGE_PRESENT   0x001UL
    67 #define _PAGE_RW                0x002UL
    68 #define _PAGE_USER              0x004UL
    69 #define _PAGE_PWT               0x008UL
    70 #define _PAGE_PCD               0x010UL
    71 #define _PAGE_ACCESSED  0x020UL
    72 #define _PAGE_DIRTY             0x040UL
    73 #define _PAGE_PAT               0x080UL
    74 #define _PAGE_PSE               0x080UL
    75 #define _PAGE_GLOBAL    0x100UL
    76 
    77 #define L0_PROT (_PAGE_PRESENT | _PAGE_ACCESSED)
    78 #define L3_PROT (_PAGE_PRESENT | _PAGE_RW | _PAGE_ACCESSED)
    7938
    8039void frame_arch_init(void)
    8140{
    8241        if (config.cpu_active == 1) {
    83                 /* The only memory zone starts just after page table */
    84                 pfn_t start = ADDR2PFN(ALIGN_UP(KA2PA(start_info.ptl0), PAGE_SIZE)) + start_info.pt_frames;
    85                 size_t size = start_info.frames - start;
    86                
    87                 /* Create identity mapping */
    88                 pfn_t phys;
    89                 count_t count = 0;
    90                 for (phys = start; phys < start + size; phys++) {
    91                         mmu_update_t updates[L3_PT_ENTRIES];
    92                         pfn_t virt = ADDR2PFN(PA2KA(PFN2ADDR(phys)));
    93                        
    94                         size_t ptl0_index = PFN2PTL0_INDEX(virt);
    95                         size_t ptl3_index = PFN2PTL3_INDEX(virt);
    96                        
    97                         pte_t *ptl3 = (pte_t *) PFN2ADDR(start_info.ptl0[ptl0_index].frame_address);
    98                        
    99                         if (ptl3 == 0) {
    100                                 mmuext_op_t mmu_ext;
    101                                
    102                                 pfn_t virt2 = ADDR2PFN(PA2KA(PFN2ADDR(start)));
    103                                
    104                                 /* New L1 page table entry needed */
    105                                 memsetb(PFN2ADDR(virt2), PAGE_SIZE, 0);
    106                                
    107                                 size_t ptl0_index2 = PFN2PTL0_INDEX(virt2);
    108                                 size_t ptl3_index2 = PFN2PTL3_INDEX(virt2);
    109                                 pte_t *ptl3_2 = (pte_t *) PFN2ADDR(start_info.ptl0[ptl0_index2].frame_address);
    110                                
    111                                 if (ptl3_2 == 0)
    112                                         panic("Unable to find page table reference");
    113                                
    114                                 updates[count].ptr = (uintptr_t) &ptl3_2[ptl3_index2];
    115                                 updates[count].val = PA2MA(PFN2ADDR(start)) | L0_PROT;
    116                                 if (xen_mmu_update(updates, count + 1, NULL, DOMID_SELF) < 0)
    117                                         panic("Unable to map new page table");
    118                                 count = 0;
    119                                
    120                                 mmu_ext.cmd = MMUEXT_PIN_L1_TABLE;
    121                                 mmu_ext.arg1.mfn = ADDR2PFN(PA2MA(PFN2ADDR(start)));
    122                                 if (xen_mmuext_op(&mmu_ext, 1, NULL, DOMID_SELF) < 0)
    123                                         panic("Error pinning new page table");
    124                                
    125                                 pte_t *ptl0 = (pte_t *) PA2MA(KA2PA(start_info.ptl0));
    126                                
    127                                 updates[count].ptr = (uintptr_t) &ptl0[ptl0_index];
    128                                 updates[count].val = PA2MA(PFN2ADDR(start)) | L3_PROT;
    129                                 if (xen_mmu_update(updates, count + 1, NULL, DOMID_SELF) < 0)
    130                                         panic("Unable to update PTE for page table");
    131                                 count = 0;
    132                                
    133                                 ptl3 = (pte_t *) PFN2ADDR(start_info.ptl0[ptl0_index].frame_address);
    134                                 start++;
    135                                 size--;
    136                         }
    137                        
    138                         updates[count].ptr = (uintptr_t) &ptl3[ptl3_index];
    139                         updates[count].val = PA2MA(PFN2ADDR(phys)) | L3_PROT;
    140                         count++;
    141                        
    142                         if ((count == L3_PT_ENTRIES) || (phys + 1 == start + size)) {
    143                                 if (xen_mmu_update(updates, count, NULL, DOMID_SELF) < 0)
    144                                         panic("Unable to update PTE");
    145                                 count = 0;
    146                         }
    147                 }
    148                
    149                 zone_create(start, size, start, 0);
    150                 last_frame = start + size;
     42                /* The only memory zone */
     43                zone_create(meminfo.start, meminfo.size, meminfo.start + meminfo.reserved, 0);
     44                frame_mark_unavailable(meminfo.start, meminfo.reserved);
    15145        }
    15246}

  • kernel/arch/xen32/src/xen32.c

    re386cbf re12ccc5  
    3737#include <arch/types.h>
    3838#include <typedefs.h>
     39#include <align.h>
    3940
    4041#include <arch/pm.h>
    4142
    4243#include <arch/drivers/xconsole.h>
     44#include <arch/mm/page.h>
    4345
    4446#include <arch/context.h>
    … …  
    6163
    6264start_info_t start_info;
     65memzone_t meminfo;
     66
     67void arch_pre_main(void)
     68{
     69        xen_vm_assist(VMASST_CMD_ENABLE, VMASST_TYPE_WRITABLE_PAGETABLES);
     70       
     71        pte_t pte;
     72        memsetb((uintptr_t) &pte, sizeof(pte), 0);
     73       
     74        pte.present = 1;
     75        pte.writeable = 1;
     76        pte.frame_address = ADDR2PFN((uintptr_t) start_info.shared_info);
     77        xen_update_va_mapping(&shared_info, pte, UVMF_INVLPG);
     78       
     79        /* Create identity mapping */
     80       
     81        meminfo.start = ADDR2PFN(ALIGN_UP(KA2PA(start_info.ptl0), PAGE_SIZE)) + start_info.pt_frames;
     82        meminfo.size = start_info.frames - meminfo.start;
     83        meminfo.reserved = 0;
     84       
     85        uintptr_t pa;
     86        index_t last_ptl0 = 0;
     87        for (pa = PFN2ADDR(meminfo.start); pa < PFN2ADDR(meminfo.start + meminfo.size); pa += FRAME_SIZE) {
     88                uintptr_t va = PA2KA(pa);
     89               
     90                if ((PTL0_INDEX(va) != last_ptl0) && (GET_PTL1_FLAGS(start_info.ptl0, PTL0_INDEX(va)) & PAGE_NOT_PRESENT)) {
     91                        /* New page directory entry needed */
     92                        uintptr_t tpa = PFN2ADDR(meminfo.start + meminfo.reserved);
     93                        uintptr_t tva = PA2KA(tpa);
     94                       
     95                        memsetb(tva, PAGE_SIZE, 0);
     96                       
     97                        pte_t *tptl3 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(tva)));
     98                        SET_FRAME_FLAGS(tptl3, PTL3_INDEX(tva), PAGE_PRESENT);
     99                        SET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(va), tpa);
     100                       
     101                        last_ptl0 = PTL0_INDEX(va);
     102                        meminfo.reserved++;
     103                }
     104               
     105                pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(start_info.ptl0, PTL0_INDEX(va)));
     106               
     107                SET_FRAME_ADDRESS(ptl3, PTL3_INDEX(va), pa);
     108                SET_FRAME_FLAGS(ptl3, PTL3_INDEX(va), PAGE_PRESENT | PAGE_WRITE);
     109        }
     110}
    63111
    64112void arch_pre_mm_init(void)
Note: See TracChangeset for help on using the changeset viewer.