#include <asm/processor.h>
#include <asm/vmx.h>
#include <asm/svm.h>
Go to the source code of this file.