#ifndef __SVM_H
#define __SVM_H

#include <geekos/screen.h>
#include <geekos/serial.h>


#define CPUID_ECX_FEATURE_IDS 0x80000001
#define CPUID_SVM_AVAIL 0x00000004



void Init_SVM();





#endif