manager.h

来自「一个Windows下的Linux专用虚拟机」· C头文件 代码 · 共 33 行

/*
 * This source code is a part of coLinux source package.
 *
 * Dan Aloni <[e-mail]>, 2003 (c)
 *
 * The code is licensed under the GPL. See the COPYING file at
 * the root directory.
 */

#ifndef __COLINUX_ARCH_I386_MANAGER_H__
#define __COLINUX_ARCH_I386_MANAGER_H__

#include <colinux/common/common.h>
#include <colinux/kernel/manager.h>
#include <colinux/arch/manager.h>
#include <colinux/os/alloc.h>

#include "cpuid.h"

struct co_archdep_manager {
	bool_t has_cpuid;
	unsigned long caps[2];
};

struct co_archdep_monitor {
	bool_t antinx_enabled;
	unsigned char *fixed_page_table_mapping;
	co_pfn_t fixed_page_table_pfn;
	unsigned long long *fixed_pte;
};

#endif