#ifndef __HV_H__
#define __HV_H__
-#include "include/HvTypes.h"
#include "include/HvStatus.h"
#include "include/HvHalApi.h"
#include "include/HvVpApi.h"
+++ /dev/null
-/*
- *
- * Copyright (c) 2009, Microsoft Corporation.
- *
- * This program is free software; you can redistribute it and/or modify it
- * under the terms and conditions of the GNU General Public License,
- * version 2, as published by the Free Software Foundation.
- *
- * This program is distributed in the hope it will be useful, but WITHOUT
- * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
- * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
- * more details.
- *
- * You should have received a copy of the GNU General Public License along with
- * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
- * Place - Suite 330, Boston, MA 02111-1307 USA.
- *
- * Authors:
- * Haiyang Zhang <haiyangz@microsoft.com>
- * Hank Janssen <hjanssen@microsoft.com>
- *
- */
-
-
-#pragma once
-
-typedef u64 HV_GPA, *PHV_GPA;
-
-#define HV_X64_PAGE_SIZE (4096)
-#define HV_PAGE_SIZE HV_X64_PAGE_SIZE
-