Subversion Repositories HelenOS

Rev

Rev 2326 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2326 Rev 2352
Line 39... Line 39...
39 
#include <config.h>
 39 
#include <config.h>
40 
#include <arch/exception.h>
 40 
#include <arch/exception.h>
41 
#include <typedefs.h>
 41 
#include <typedefs.h>
42 
#include <arch/types.h>
 42 
#include <arch/types.h>
43 
#include <interrupt.h>
 43 
#include <interrupt.h>
44 
#include <arch/debug/print.h>
 44 
#include <arch/mm/frame.h>
45 
 
 45 
 
46 
 
 46 
 
47 
/**
 47 
/**
48 
 * Initializes kernel adress space page tables, sets abourts exceptions vectors
 48 
 * Initializes kernel adress space page tables, sets abourts exceptions vectors
49 
 */
 49 
 */
Line 70... Line 70...
70 
        page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, KA2PA(virtaddr), flags);
 70 
        page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, KA2PA(virtaddr), flags);
71 
    #endif
 71 
    #endif
72 
    // TODO: #else
 72 
    // TODO: #else
73 
 
 73 
 
74 
    as_switch(NULL, AS_KERNEL);
 74 
    as_switch(NULL, AS_KERNEL);
- 
 
 75 
 
- 
 
 76 
    boot_page_table_free();
75 
}
 77 
}
76 
 
 78 
 
77 
/**
 79 
/**
78 
 * Map device into kernel space.
 80 
 * Map device into kernel space.
79 
 *
 81 
 *