1 #include <grub/kernel.h>
5 #include <grub/types.h>
9 #include <grub/machine/kernel.h>
10 #include <grub/machine/memory.h>
11 #include <grub/cpu/kernel.h>
13 #define RAMSIZE (*(grub_uint32_t *) ((16 << 20) - 264))
23 grub_machine_init (void)
25 grub_mm_init_region ((void *) GRUB_MACHINE_MEMORY_USABLE
,
26 RAMSIZE
- (GRUB_MACHINE_MEMORY_USABLE
& 0x7fffffff));
27 grub_install_get_time_ms (grub_rtc_get_time_ms
);
31 grub_machine_fini (void)
54 grub_machine_mmap_iterate (grub_memory_hook_t hook
)
56 hook (0, RAMSIZE
, GRUB_MEMORY_AVAILABLE
);