2011-01-16 04:01:19 +03:00
|
|
|
#ifndef __SYSTEM_H
|
|
|
|
#define __SYSTEM_H
|
|
|
|
|
|
|
|
/* Kernel Main */
|
|
|
|
extern unsigned char *memcpy(unsigned char *dest, const unsigned char *src, int count);
|
|
|
|
extern unsigned char *memset(unsigned char *dest, unsigned char val, int count);
|
|
|
|
extern unsigned short *memsetw(unsigned short *dest, unsigned short val, int count);
|
|
|
|
extern int strlen(const char *str);
|
|
|
|
extern unsigned char inportb (unsigned short _port);
|
|
|
|
extern void outportb (unsigned short _port, unsigned char _data);
|
|
|
|
|
|
|
|
/* VGA driver */
|
|
|
|
extern void cls();
|
|
|
|
extern void putch(unsigned char c);
|
|
|
|
extern void puts(unsigned char *str);
|
|
|
|
extern void settextcolor(unsigned char forecolor, unsigned char backcolor);
|
|
|
|
extern void init_video();
|
|
|
|
|
2011-01-16 04:59:11 +03:00
|
|
|
/* GDT */
|
|
|
|
extern void gdt_install();
|
|
|
|
extern void gdt_set_gate(int num, unsigned long base, unsigned long limit, unsigned char access, unsigned char gran);
|
|
|
|
|
2011-01-16 04:01:19 +03:00
|
|
|
#endif
|