Subversion Repositories HelenOS

Rev

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

Rev 1821 Rev 1827
Line 34... Line 34...
34
 
34
 
35
#include <arch/mm/memory_init.h>
35
#include <arch/mm/memory_init.h>
36
#include <arch/mm/page.h>
36
#include <arch/mm/page.h>
37
#include <arch/boot/boot.h>
37
#include <arch/boot/boot.h>
38
#include <print.h>
38
#include <print.h>
-
 
39
#include <mm/frame.h>
39
 
40
 
40
size_t get_memory_size(void)
41
size_t get_memory_size(void)
41
{
42
{
42
    return start_info.frames * PAGE_SIZE;
43
    return start_info.frames * PAGE_SIZE;
43
}
44
}
44
 
45
 
45
void memory_print_map(void)
46
void memory_print_map(void)
46
{
47
{
-
 
48
    printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved));
47
}
49
}
48
 
50
 
49
 
51
 
50
/** @}
52
/** @}
51
 */
53
 */