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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
|
#ifndef MELVIX_SYSTEM_H
#define MELVIX_SYSTEM_H
#include <stdint.h>
#include "timer/timer.h"
#include "lib/lib.h"
#include "graphics/graphics.h"
#include "io/io.h"
/**
* Initialize the basic features of the OS
*/
void init();
/**
* The ASM registers as packed structure
*/
typedef struct __attribute__ ((packed)) {
unsigned short di, si, bp, sp, bx, dx, cx, ax;
unsigned short gs, fs, es, ds, eflags;
} regs16_t;
/**
* Execute BIOS interrupts by switching to real mode
* @param intnum The interrupt number (e.g. 0x10)
* @param regs The ASM registers
*/
extern void int32(unsigned char intnum, regs16_t *regs);
/**
* ASM segment:offset pointer
*/
struct far_ptr {
union {
uint32_t ptr;
struct {
uint16_t offset, segment;
};
};
} __attribute__ ((packed));
/**
* Get offset from ASM segment:offset pointer
*/
static inline uint16_t get_offset(const volatile void *p) {
return (uint16_t) (uintptr_t) p & 0x000F;
}
/**
* Get segment from ASM segment:offset pointer
*/
static inline uint16_t get_segment(const volatile void *p) {
return (uint16_t) (((uintptr_t) p) >> 4);
}
/**
* Convert pointer to far_ptr
* @param __ptr The ASM segment:offset pointer
* @return The new far pointer
*/
static inline struct far_ptr FAR_PTR(void *__ptr) {
struct far_ptr __fptr;
__fptr.offset = get_offset(__ptr);
__fptr.segment = get_segment(__ptr);
return __fptr;
}
/**
* Get pointer from ASM segment:offset far pointer
* @param fptr The ASM far pointer
* @return The normalized pointer
*/
static inline void *get_ptr(struct far_ptr fptr) {
return (void *) (unsigned long) ((fptr.segment << 4) + fptr.offset);
}
/**
* Print the current kernel time
*/
static inline void kernel_time() {
terminal_write_string("\n");
terminal_write_string("[");
terminal_write_number(get_time());
terminal_write_string("] ");
}
/**
* Display an information message
* @param msg The information
*/
static inline void info(char *msg) {
terminal_set_color(9);
kernel_time();
terminal_write_string("INFO: ");
terminal_write_string(msg);
terminal_write_string("\r");
terminal_set_color(7);
}
/**
* Display a warning message
* TODO: Add line number and file name
* @param msg The warning cause/reason
*/
static inline void warn(char *msg) {
terminal_set_color(6);
kernel_time();
terminal_write_string("WARNING: ");
terminal_write_string(msg);
terminal_write_string("\r");
terminal_set_color(7);
}
/**
* Halt the entire system and display a message
* TODO: Add line number and file name
* @param msg The error cause/reason
*/
static inline void panic(char *msg) {
asm volatile ("cli");
terminal_set_color(4);
kernel_time();
terminal_write_string("PANIC: ");
terminal_write_string(msg);
terminal_write_string(" - System Halted!");
serial_write(msg);
loop:
asm volatile ("hlt");
goto loop;
}
/**
* Assert that a value is non-zero, else panic
* TODO: Add line number and file name
* @param x The value
*/
static inline void assert(int x) {
if (x == 0) {
panic("Assertion failed");
}
}
#endif
|
