Subversion Repositories HelenOS

Rev

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

Rev 3973 Rev 4108
Line 38... Line 38...
38 
#include <interrupt.h>
 38 
#include <interrupt.h>
39 
#include <mm/frame.h>
 39 
#include <mm/frame.h>
40 
#include <mm/asid.h>
 40 
#include <mm/asid.h>
41 
#include <config.h>
 41 
#include <config.h>
42 
#include <arch/drivers/msim.h>
 42 
#include <arch/drivers/msim.h>
43 
#include <arch/drivers/serial.h>
 - 
 
44 
#include <print.h>
 43 
#include <print.h>
45 
 
 44 
 
46 
#define ZERO_PAGE_MASK      TLB_PAGE_MASK_256K
 45 
#define ZERO_PAGE_MASK    TLB_PAGE_MASK_256K
47 
#define ZERO_FRAMES         2048
 46 
#define ZERO_FRAMES       2048
48 
#define ZERO_PAGE_WIDTH     18  /* 256K */
 47 
#define ZERO_PAGE_WIDTH   18  /* 256K */
49 
#define ZERO_PAGE_SIZE      (1 << ZERO_PAGE_WIDTH)
 48 
#define ZERO_PAGE_SIZE    (1 << ZERO_PAGE_WIDTH)
50 
#define ZERO_PAGE_ASID      ASID_INVALID
 49 
#define ZERO_PAGE_ASID    ASID_INVALID
51 
#define ZERO_PAGE_TLBI      0
 50 
#define ZERO_PAGE_TLBI    0
52 
#define ZERO_PAGE_ADDR      0
 51 
#define ZERO_PAGE_ADDR    0
53 
#define ZERO_PAGE_OFFSET    (ZERO_PAGE_SIZE / sizeof(uint32_t) - 1)
 52 
#define ZERO_PAGE_OFFSET  (ZERO_PAGE_SIZE / sizeof(uint32_t) - 1)
54 
#define ZERO_PAGE_VALUE     (((volatile uint32_t *) ZERO_PAGE_ADDR)[ZERO_PAGE_OFFSET])
 53 
#define ZERO_PAGE_VALUE   (((volatile uint32_t *) ZERO_PAGE_ADDR)[ZERO_PAGE_OFFSET])
55 
 
 54 
 
- 
 
 55 
#define ZERO_PAGE_VALUE_KSEG1(frame) \
56 
#define ZERO_PAGE_VALUE_KSEG1(frame) (((volatile uint32_t *) (0xa0000000 + (frame << ZERO_PAGE_WIDTH)))[ZERO_PAGE_OFFSET])
 56 
    (((volatile uint32_t *) (0xa0000000 + (frame << ZERO_PAGE_WIDTH)))[ZERO_PAGE_OFFSET])
57 
 
 57 
 
58 
#define MAX_REGIONS         32
 58 
#define MAX_REGIONS  32
59 
 
 59 
 
60 
typedef struct {
 60 
typedef struct {
61 
    pfn_t start;
 61 
    pfn_t start;
62 
    pfn_t count;
 62 
    pfn_t count;
63 
} phys_region_t;
 63 
} phys_region_t;
64 
 
 64 
 
65 
static count_t phys_regions_count = 0;
 65 
static count_t phys_regions_count = 0;
66 
static phys_region_t phys_regions[MAX_REGIONS];
 66 
static phys_region_t phys_regions[MAX_REGIONS];
67 
 
 67 
 
68 
 
 - 
 
69 
/** Check whether frame is available
 68 
/** Check whether frame is available
70 
 *
 69 
 *
71 
 * Returns true if given frame is generally available for use.
 70 
 * Returns true if given frame is generally available for use.
72 
 * Returns false if given frame is used for physical memory
 71 
 * Returns false if given frame is used for physical memory
73 
 * mapped devices and cannot be used.
 72 
 * mapped devices and cannot be used.
Line 82... Line 81...
82 
   
 81 
   
83 
    /* MSIM device (dkeyboard) */
 82 
    /* MSIM device (dkeyboard) */
84 
    if (frame == (KA2PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))
 83 
    if (frame == (KA2PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))
85 
        return false;
 84 
        return false;
86 
#endif
 85 
#endif
87 
 
 86 
   
88 
#ifdef MACHINE_simics
 - 
 
89 
    /* Simics device (serial line) */
 - 
 
90 
    if (frame == (KA2PA(SERIAL_ADDRESS) >> ZERO_PAGE_WIDTH))
 - 
 
91 
        return false;
 - 
 
92 
#endif
 - 
 
93 
 
 - 
 
94 
#if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul)
 87 
#if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul)
95 
    /* gxemul devices */
 88 
    /* gxemul devices */
96 
    if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
 89 
    if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
97 
        0x10000000, MB2SIZE(256)))
 90 
        0x10000000, MB2SIZE(256)))
98 
        return false;
 91 
        return false;