x86_64_hal.h

Go to the documentation of this file.

 
#ifndef __X86_64_HAL_H__
#define __X86_64_HAL_H__
 
#include <stdint.h>
#include <Hal/x86_64_gdt.h>
#include <Hal/x86_64_idt.h>
#include <Hal/x86_64_cpu.h>
#include <Hal/x86_64_lowlevel.h>
#include <aurora.h>
 
/*
* x86_64_hal_initialise -- initialise the x86_64 hardware
* abstraction layer
* @param info -- kernel boot information structure
*/
extern void x86_64_hal_initialise(KERNEL_BOOT_INFO* info);
 
 
#endif