#ifndef __ASSEMBLY__\r
\r
struct arch_vcpu_info {\r
- UINTN cr2;\r
- UINTN pad; /* sizeof(vcpu_info_t) == 64 */\r
+ UINTN cr2;\r
+ UINTN pad; /* sizeof(vcpu_info_t) == 64 */\r
};\r
+\r
typedef struct arch_vcpu_info arch_vcpu_info_t;\r
\r
#endif /* !__ASSEMBLY__ */\r