1
/*********************************************************
2
* Copyright (C) 1998-2003 VMware, Inc. All rights reserved.
4
* This program is free software; you can redistribute it and/or modify it
5
* under the terms of the GNU Lesser General Public License as published
6
* by the Free Software Foundation version 2.1 and no later version.
8
* This program is distributed in the hope that it will be useful, but
9
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
10
* or FITNESS FOR A PARTICULAR PURPOSE. See the Lesser GNU General Public
11
* License for more details.
13
* You should have received a copy of the GNU Lesser General Public License
14
* along with this program; if not, write to the Free Software Foundation, Inc.,
15
* 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
17
*********************************************************/
29
#define INCLUDE_ALLOW_USERLEVEL
31
#define INCLUDE_ALLOW_MODULE
32
#define INCLUDE_ALLOW_VMMON
33
#define INCLUDE_ALLOW_VMKERNEL
34
#define INCLUDE_ALLOW_VMK_MODULE
35
#define INCLUDE_ALLOW_DISTRIBUTE
36
#define INCLUDE_ALLOW_VMCORE
37
#include "includeCheck.h"
39
#include "vm_basic_types.h"
42
typedef uint32 Vcpuid; // VCPU number
44
#define VCPUID_INVALID (~0U)
46
#define BOOT_VCPU_ID 0
47
#define IS_BOOT_VCPUID(vcpuid) ((vcpuid) == BOOT_VCPU_ID)
52
/* In VMM, CurVcpuid() is available everywhere. */
53
extern const Vcpuid curVcpuid;
54
#define CurVcpuid() (curVcpuid)
55
#define IS_BOOT_VCPU() IS_BOOT_VCPUID(CurVcpuid())
58
#endif // ifndef _VCPUID_H_