| vmcs.h (222111) | vmcs.h (222605) |
|---|---|
| 1/*- 2 * Copyright (c) 2011 NetApp, Inc. 3 * All rights reserved. 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 1. Redistributions of source code must retain the above copyright --- 54 unchanged lines hidden (view full) --- 63#define vmexit_instruction_length() vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH) 64#define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP) 65#define vmcs_instruction_error() vmcs_read(VMCS_INSTRUCTION_ERROR) 66#define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff) 67#define vmcs_exit_qualification() vmcs_read(VMCS_EXIT_QUALIFICATION) 68 69#endif /* _KERNEL */ 70 | 1/*- 2 * Copyright (c) 2011 NetApp, Inc. 3 * All rights reserved. 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 1. Redistributions of source code must retain the above copyright --- 54 unchanged lines hidden (view full) --- 63#define vmexit_instruction_length() vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH) 64#define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP) 65#define vmcs_instruction_error() vmcs_read(VMCS_INSTRUCTION_ERROR) 66#define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff) 67#define vmcs_exit_qualification() vmcs_read(VMCS_EXIT_QUALIFICATION) 68 69#endif /* _KERNEL */ 70 |
| 71#define VMCS_INITIAL 0xffffffffffffffff 72 |
|
| 71#define VMCS_IDENT(encoding) ((encoding) | 0x80000000) 72/* 73 * VMCS field encodings from Appendix H, Intel Architecture Manual Vol3B. 74 */ 75#define VMCS_INVALID_ENCODING 0xffffffff 76 77/* 16-bit control fields */ 78#define VMCS_VPID 0x00000000 --- 246 unchanged lines hidden --- | 73#define VMCS_IDENT(encoding) ((encoding) | 0x80000000) 74/* 75 * VMCS field encodings from Appendix H, Intel Architecture Manual Vol3B. 76 */ 77#define VMCS_INVALID_ENCODING 0xffffffff 78 79/* 16-bit control fields */ 80#define VMCS_VPID 0x00000000 --- 246 unchanged lines hidden --- |