blob: 3202691174992e5ddda4aaff79729bf88586591c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
#include <stddef.h>
#include <stdint.h>
#include <kernel/system.h>
#include <kernel/lib/stdio.h>
#include <kernel/memory/paging.h>
#include <kernel/multiboot.h>
void *memcpy(void *dest, const void *src, size_t count)
{
const char *sp = (const char *)src;
char *dp = (char *)dest;
for (; count != 0; count--)
*dp++ = *sp++;
return dest;
}
void *memset(void *dest, char val, size_t count)
{
char *temp = (char *)dest;
for (; count != 0; count--)
*temp++ = val;
return dest;
}
int memcmp(const void *a_ptr, const void *b_ptr, size_t size)
{
const unsigned char *a = (const unsigned char *)a_ptr;
const unsigned char *b = (const unsigned char *)b_ptr;
for (size_t i = 0; i < size; i++) {
if (a[i] < b[i])
return -1;
else if (b[i] < a[i])
return 1;
}
return 0;
}
multiboot_info_t *multiboot_header;
void memory_print()
{
if (multiboot_header->flags & MULTIBOOT_INFO_MEMORY) {
log("Mem lower: 0x%x", multiboot_header->mem_lower);
log("Mem upper: 0x%x", multiboot_header->mem_upper);
} else {
log("No memory information available!");
}
}
void memory_init(multiboot_info_t *grub_header)
{
multiboot_header = grub_header;
}
uint32_t memory_get_free()
{
return multiboot_header->mem_upper - paging_get_used_pages() * 4;
}
uint32_t memory_get_all()
{
return multiboot_header->mem_upper;
}
|