x86.mac revision 73977ab417566ee6bc70654b77d1402ca47d6b67
083dd76e9fd7a829b1ed67ffc9003276643e7db1vboxsync%ifndef ___iprt_x86_h
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define ___iprt_x86_h
083dd76e9fd7a829b1ed67ffc9003276643e7db1vboxsync%ifndef VBOX_FOR_DTRACE_LIB
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%else
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%endif
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%ifdef RT_OS_SOLARIS
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync%endif
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%ifndef VBOX_FOR_DTRACE_LIB
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%endif
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%ifndef VBOX_FOR_DTRACE_LIB
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%endif
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%ifndef VBOX_FOR_DTRACE_LIB
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%endif
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%define X86_EFL_CF RT_BIT(0)
bd8e360cd1db83dcb2694ea9122ce3bc5bae678avboxsync%define X86_EFL_CF_BIT 0
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync%define X86_EFL_1 RT_BIT(1)
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync%define X86_EFL_PF RT_BIT(2)
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync%define X86_EFL_AF RT_BIT(4)
1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync%define X86_EFL_AF_BIT 4
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_ZF RT_BIT(6)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_ZF_BIT 6
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_SF RT_BIT(7)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_SF_BIT 7
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_TF RT_BIT(8)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_IF RT_BIT(9)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_EFL_DF RT_BIT(10)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_EFL_OF RT_BIT(11)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_EFL_OF_BIT 11
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_EFL_IOPL (RT_BIT(12) | RT_BIT(13))
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_NT RT_BIT(14)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_RF RT_BIT(16)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_EFL_VM RT_BIT(17)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_EFL_AC RT_BIT(18)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define X86_EFL_VIF RT_BIT(19)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define X86_EFL_VIP RT_BIT(20)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define X86_EFL_ID RT_BIT(21)
87b2fb3f8283472ba7010aedbf2b4dc12302155cvboxsync%define X86_EFL_LIVE_MASK 0x003f7fd5
87b2fb3f8283472ba7010aedbf2b4dc12302155cvboxsync%define X86_EFL_RA1_MASK RT_BIT_32(1)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define X86_EFL_IOPL_SHIFT 12
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define X86_EFL_GET_IOPL(efl) (((efl) >> X86_EFL_IOPL_SHIFT) & 3)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define X86_EFL_POPF_BITS ( X86_EFL_CF | X86_EFL_PF | X86_EFL_AF | X86_EFL_ZF | X86_EFL_SF | X86_EFL_TF | X86_EFL_IF \
11a862be79fe123488bccca60c06e92cdbfec6e8vboxsync | X86_EFL_DF | X86_EFL_OF | X86_EFL_IOPL | X86_EFL_NT | X86_EFL_AC | X86_EFL_ID )
87b2fb3f8283472ba7010aedbf2b4dc12302155cvboxsync%define X86_EFL_STATUS_BITS ( X86_EFL_CF | X86_EFL_PF | X86_EFL_AF | X86_EFL_ZF | X86_EFL_SF | X86_EFL_OF )
e38719852d98638514dba23fbacf53ad11361d6avboxsync%ifndef VBOX_FOR_DTRACE_LIB
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%else
d6aa6429f99fb7648883eb612f8a52b9aaf3bff4vboxsync%endif
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%ifndef VBOX_FOR_DTRACE_LIB
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%else
d6aa6429f99fb7648883eb612f8a52b9aaf3bff4vboxsync%endif
d6aa6429f99fb7648883eb612f8a52b9aaf3bff4vboxsync%define X86_CPUID_VENDOR_INTEL_EBX 0x756e6547
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_VENDOR_INTEL_ECX 0x6c65746e
3598f07e0e71a448a04d478320a9ca6314160ff6vboxsync%define X86_CPUID_VENDOR_INTEL_EDX 0x49656e69
083dd76e9fd7a829b1ed67ffc9003276643e7db1vboxsync%define X86_CPUID_VENDOR_AMD_EBX 0x68747541
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_VENDOR_AMD_ECX 0x444d4163
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_VENDOR_AMD_EDX 0x69746e65
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_VENDOR_VIA_EBX 0x746e6543
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_VENDOR_VIA_ECX 0x736c7561
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_VENDOR_VIA_EDX 0x48727561
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_FEATURE_ECX_SSE3 RT_BIT(0)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CPUID_FEATURE_ECX_PCLMUL RT_BIT(1)
8ab60c04baaf509b2aaae2a260adaf1281aaac03vboxsync%define X86_CPUID_FEATURE_ECX_DTES64 RT_BIT(2)
8ab60c04baaf509b2aaae2a260adaf1281aaac03vboxsync%define X86_CPUID_FEATURE_ECX_MONITOR RT_BIT(3)
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define X86_CPUID_FEATURE_ECX_CPLDS RT_BIT(4)
6edb4183bc898fddcd0987b6c5c3903b8246fe45vboxsync%define X86_CPUID_FEATURE_ECX_VMX RT_BIT(5)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CPUID_FEATURE_ECX_SMX RT_BIT(6)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_ECX_EST RT_BIT(7)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_ECX_TM2 RT_BIT(8)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_ECX_SSSE3 RT_BIT(9)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_ECX_CNTXID RT_BIT(10)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_SDBG RT_BIT(11)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_FMA RT_BIT(12)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_FEATURE_ECX_CX16 RT_BIT(13)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_FEATURE_ECX_TPRUPDATE RT_BIT(14)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_PDCM RT_BIT(15)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_ECX_PCID RT_BIT(17)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_DCA RT_BIT(18)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_ECX_SSE4_1 RT_BIT(19)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_SSE4_2 RT_BIT(20)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_X2APIC RT_BIT(21)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_MOVBE RT_BIT(22)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_ECX_POPCNT RT_BIT(23)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_ECX_TSCDEADL RT_BIT(24)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_ECX_AES RT_BIT(25)
4ad933b349952e43d0b6ce21b3f5e2833ca04e85vboxsync%define X86_CPUID_FEATURE_ECX_XSAVE RT_BIT(26)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_FEATURE_ECX_OSXSAVE RT_BIT(27)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_FEATURE_ECX_AVX RT_BIT(28)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_FEATURE_ECX_F16C RT_BIT(29)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_FEATURE_ECX_RDRAND RT_BIT(30)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CPUID_FEATURE_ECX_HVP RT_BIT(31)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_EDX_FPU RT_BIT(0)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_EDX_VME RT_BIT(1)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_DE RT_BIT(2)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_EDX_PSE RT_BIT(3)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_TSC RT_BIT(4)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_MSR RT_BIT(5)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_EDX_PAE RT_BIT(6)
98da2c2cca8786e117ad93a31c6b2c6c1c3cdc78vboxsync%define X86_CPUID_FEATURE_EDX_MCE RT_BIT(7)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_CX8 RT_BIT(8)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_APIC RT_BIT(9)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_SEP RT_BIT(11)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_MTRR RT_BIT(12)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_PGE RT_BIT(13)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_MCA RT_BIT(14)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_CMOV RT_BIT(15)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_CPUID_FEATURE_EDX_PAT RT_BIT(16)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_FEATURE_EDX_PSE36 RT_BIT(17)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_PSN RT_BIT(18)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_FEATURE_EDX_CLFSH RT_BIT(19)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_DS RT_BIT(21)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_FEATURE_EDX_ACPI RT_BIT(22)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CPUID_FEATURE_EDX_MMX RT_BIT(23)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_FXSR RT_BIT(24)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_FEATURE_EDX_SSE RT_BIT(25)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_SSE2 RT_BIT(26)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_SS RT_BIT(27)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_HTT RT_BIT(28)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_FEATURE_EDX_TM RT_BIT(29)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_FEATURE_EDX_PBE RT_BIT(31)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_MWAIT_ECX_EXT RT_BIT(0)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_MWAIT_ECX_BREAKIRQIF0 RT_BIT(1)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_FSGSBASE RT_BIT(0)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_TSC_ADJUST RT_BIT(1)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_BMI1 RT_BIT(3)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_HLE RT_BIT(4)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_AVX2 RT_BIT(5)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_STEXT_FEATURE_EBX_SMEP RT_BIT(7)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_BMI2 RT_BIT(8)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_ERMS RT_BIT(9)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_INVPCID RT_BIT(10)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_RTM RT_BIT(11)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_PQM RT_BIT(12)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_DEPR_FPU_CS_DS RT_BIT(13)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_MPE RT_BIT(14)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_PQE RT_BIT(15)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_AVX512F RT_BIT(16)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_RDSEED RT_BIT(18)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_ADX RT_BIT(19)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_STEXT_FEATURE_EBX_SMAP RT_BIT(20)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_CLFLUSHOPT RT_BIT(23)
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_INTEL_PT RT_BIT(25)
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_AVX512PF RT_BIT(26)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_AVX512ER RT_BIT(27)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_AVX512CD RT_BIT(28)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_STEXT_FEATURE_EBX_SHA RT_BIT(29)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_STEXT_FEATURE_ECX_PREFETCHWT1 RT_BIT(0)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_EXT_FEATURE_ECX_LAHF_SAHF RT_BIT(0)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_EXT_FEATURE_EDX_SYSCALL RT_BIT(11)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_EXT_FEATURE_EDX_NX RT_BIT(20)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_EXT_FEATURE_EDX_PAGE1GB RT_BIT(26)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_EXT_FEATURE_EDX_RDTSCP RT_BIT(27)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_EXT_FEATURE_EDX_LONG_MODE RT_BIT(29)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_FPU RT_BIT(0)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_VME RT_BIT(1)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_DE RT_BIT(2)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_PSE RT_BIT(3)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_TSC RT_BIT(4)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_MSR RT_BIT(5)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_PAE RT_BIT(6)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_MCE RT_BIT(7)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_CX8 RT_BIT(8)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_APIC RT_BIT(9)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_MTRR RT_BIT(12)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_PGE RT_BIT(13)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_MCA RT_BIT(14)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_CMOV RT_BIT(15)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_PAT RT_BIT(16)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_PSE36 RT_BIT(17)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_AXMMX RT_BIT(22)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_MMX RT_BIT(23)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_FXSR RT_BIT(24)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_FFXSR RT_BIT(25)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_3DNOW_EX RT_BIT(30)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_EDX_3DNOW RT_BIT(31)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_CMPL RT_BIT(1)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_SVM RT_BIT(2)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_EXT_APIC RT_BIT(3)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_CR8L RT_BIT(4)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_ABM RT_BIT(5)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_SSE4A RT_BIT(6)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_MISALNSSE RT_BIT(7)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_3DNOWPRF RT_BIT(8)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_OSVW RT_BIT(9)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_IBS RT_BIT(10)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_XOP RT_BIT(11)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_SKINIT RT_BIT(12)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_WDT RT_BIT(13)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_LWP RT_BIT(15)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_FEATURE_ECX_FMA4 RT_BIT(16)
4faf92053d9cec5599c0ab8577231df0f7d615b3vboxsync%define X86_CPUID_AMD_FEATURE_ECX_NODEID RT_BIT(19)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_AMD_FEATURE_ECX_TBM RT_BIT(21)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_AMD_FEATURE_ECX_TOPOEXT RT_BIT(22)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_TS RT_BIT(0)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_FID RT_BIT(1)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_VID RT_BIT(2)
6edb4183bc898fddcd0987b6c5c3903b8246fe45vboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_TTP RT_BIT(3)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_TM RT_BIT(4)
4faf92053d9cec5599c0ab8577231df0f7d615b3vboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_STC RT_BIT(5)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_MC RT_BIT(6)
83b8ea36fb307b6264bc47ae9f7f67b1d32e3388vboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_HWPSTATE RT_BIT(7)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_TSCINVAR RT_BIT(8)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_CPB RT_BIT(9)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_EFRO RT_BIT(10)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_PFI RT_BIT(11)
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_CPUID_AMD_ADVPOWER_EDX_PA RT_BIT(12)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR0_PE RT_BIT(0)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_PROTECTION_ENABLE RT_BIT(0)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_MP RT_BIT(1)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_MONITOR_COPROCESSOR RT_BIT(1)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_EM RT_BIT(2)
3598f07e0e71a448a04d478320a9ca6314160ff6vboxsync%define X86_CR0_EMULATE_FPU RT_BIT(2)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_TS RT_BIT(3)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_TASK_SWITCH RT_BIT(3)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_ET RT_BIT(4)
3598f07e0e71a448a04d478320a9ca6314160ff6vboxsync%define X86_CR0_EXTENSION_TYPE RT_BIT(4)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_NE RT_BIT(5)
eb5d68001efb9346c3341aa46f2871b973b47107vboxsync%define X86_CR0_NUMERIC_ERROR RT_BIT(5)
3598f07e0e71a448a04d478320a9ca6314160ff6vboxsync%define X86_CR0_WP RT_BIT(16)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR0_WRITE_PROTECT RT_BIT(16)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR0_AM RT_BIT(18)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR0_ALIGMENT_MASK RT_BIT(18)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR0_NW RT_BIT(29)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR0_NOT_WRITE_THROUGH RT_BIT(29)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR0_CD RT_BIT(30)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR0_CACHE_DISABLE RT_BIT(30)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR0_PG RT_BIT(31)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR0_PAGING RT_BIT(31)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR3_PWT RT_BIT(3)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR3_PCD RT_BIT(4)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR3_PAGE_MASK (0xfffff000)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR3_PAE_PAGE_MASK (0xffffffe0)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR3_AMD64_PAGE_MASK 0x000ffffffffff000
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_VME RT_BIT(0)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_PVI RT_BIT(1)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_TSD RT_BIT(2)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_DE RT_BIT(3)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_PSE RT_BIT(4)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_PAE RT_BIT(5)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_MCE RT_BIT(6)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_PGE RT_BIT(7)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_PCE RT_BIT(8)
584a4e8a4f886566a96ba14cdaab6e94162545a8vboxsync%define X86_CR4_OSFXSR RT_BIT(9)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR4_OSXMMEEXCPT RT_BIT(10)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_CR4_VMXE RT_BIT(13)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CR4_SMXE RT_BIT(14)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CR4_PCIDE RT_BIT(17)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_CR4_OSXSAVE RT_BIT(18)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CR4_SMEP RT_BIT(20)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_CR4_SMAP RT_BIT(21)
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define X86_DR6_B0 RT_BIT(0)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_B1 RT_BIT(1)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_B2 RT_BIT(2)
fde449f361029c75f9bf28f145bd1ba7b36a9c77vboxsync%define X86_DR6_B3 RT_BIT(3)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_B_MASK 0x0000000f
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_BD RT_BIT(13)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_BS RT_BIT(14)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_BT RT_BIT(15)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_INIT_VAL 0xFFFF0FF0
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_RA1_MASK 0xffff0ff0
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_DR6_RAZ_MASK RT_BIT_64(12)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_MBZ_MASK 0xffffffff00000000
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR6_B(iBp) RT_BIT_64(iBp)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_L0 RT_BIT(0)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_G0 RT_BIT(1)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_L1 RT_BIT(2)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_G1 RT_BIT(3)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_L2 RT_BIT(4)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define X86_DR7_G2 RT_BIT(5)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_L3 RT_BIT(6)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_G3 RT_BIT(7)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_LE RT_BIT(8)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_GE RT_BIT(9)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_LE_ALL 0x0000000000000055
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_GE_ALL 0x00000000000000aa
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_ICE_IR RT_BIT(12)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_GD RT_BIT(13)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_ICE_TR1 RT_BIT(14)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_ICE_TR2 RT_BIT(15)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_RW0_MASK (3 << 16)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_LEN0_MASK (3 << 18)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_RW1_MASK (3 << 20)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_LEN1_MASK (3 << 22)
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_RW2_MASK (3 << 24)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_LEN2_MASK (3 << 26)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RW3_MASK (3 << 28)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_LEN3_MASK (3 << 30)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RA1_MASK (RT_BIT(10))
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RAZ_MASK 0x0000d800
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_DR7_MBZ_MASK 0xffffffff00000000
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_L(iBp) ( 1 << (iBp * 2) )
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_G(iBp) ( 1 << (iBp * 2 + 1) )
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_DR7_L_G(iBp) ( 3 << (iBp * 2) )
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RW_EO 0
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RW_WO 1
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RW_IO 2
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_DR7_RW_RW 3
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RW(iBp, fRw) ( (fRw) << ((iBp) * 4 + 16) )
e38719852d98638514dba23fbacf53ad11361d6avboxsync%define X86_DR7_GET_RW(uDR7, iBp) ( ( (uDR7) >> ((iBp) * 4 + 16) ) & 3 )
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define X86_DR7_RW_ALL_MASKS 0x33330000
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%ifndef VBOX_FOR_DTRACE_LIB
0c1bdc5adae416967cb64e09f8ec81a5b77fe31dvboxsync %define X86_DR7_ANY_RW_IO(uDR7) \
85c594c1140f082dd862abde9dc7825137a3d51avboxsync ( ( 0x22220000 & (uDR7) )
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%endif
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_LEN_BYTE 0
06bb0fc0d77854631add1701e7ccde0095c73796vboxsync%define X86_DR7_LEN_WORD 1
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_LEN_QWORD 2
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define X86_DR7_LEN_DWORD 3
4cf22962b49e1056d0424cbe6736fee615e296efvboxsync%define X86_DR7_LEN(iBp, cb) ( (cb) << ((iBp) * 4 + 18) )
4cf22962b49e1056d0424cbe6736fee615e296efvboxsync%define X86_DR7_GET_LEN(uDR7, iBp) ( ( (uDR7) >> ((iBp) * 4 + 18) ) & 0x3 )
4cf22962b49e1056d0424cbe6736fee615e296efvboxsync%define X86_DR7_ENABLED_MASK 0x000000ff
4cf22962b49e1056d0424cbe6736fee615e296efvboxsync%define X86_DR7_LEN_ALL_MASKS 0xcccc0000
16a9c73495bd644adca2ffe9567c3b2a72d7b94dvboxsync%define X86_DR7_RW_LEN_ALL_MASKS 0xffff0000
16a9c73495bd644adca2ffe9567c3b2a72d7b94dvboxsync%define X86_DR7_INIT_VAL 0x400
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define MSR_P5_MC_ADDR 0x00000000
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define MSR_P5_MC_TYPE 0x00000001
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define MSR_IA32_TSC 0x10
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define MSR_IA32_CESR 0x00000011
f6b7aa2d424718f1bf8ca45a37b219b986f1024bvboxsync%define MSR_IA32_CTR0 0x00000012
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define MSR_IA32_CTR1 0x00000013
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define MSR_IA32_PLATFORM_ID 0x17
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%ifndef MSR_IA32_APICBASE
e38719852d98638514dba23fbacf53ad11361d6avboxsync %define MSR_IA32_APICBASE 0x1b
85c594c1140f082dd862abde9dc7825137a3d51avboxsync %define MSR_IA32_APICBASE_EN RT_BIT_64(11)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync %define MSR_IA32_APICBASE_EXTD RT_BIT_64(10)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync %define MSR_IA32_APICBASE_BSP RT_BIT_64(8)
85c594c1140f082dd862abde9dc7825137a3d51avboxsync %define MSR_IA32_APICBASE_BASE_MIN 0x0000000ffffff000
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%endif
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define MSR_CORE_THREAD_COUNT 0x35
b29e03c9044019d9c77222336e8f8616052824f5vboxsync%define MSR_IA32_FEATURE_CONTROL 0x3A
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_IA32_FEATURE_CONTROL_LOCK RT_BIT(0)
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_IA32_FEATURE_CONTROL_SMX_VMXON RT_BIT(1)
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_IA32_FEATURE_CONTROL_VMXON RT_BIT(2)
11a862be79fe123488bccca60c06e92cdbfec6e8vboxsync%define MSR_IA32_TSC_ADJUST 0x3B
6e94cf9c6334b6d8e3cd33afe7084e0048fe7c8evboxsync%define MSR_IA32_BIOS_UPDT_TRIG 0x79
6e94cf9c6334b6d8e3cd33afe7084e0048fe7c8evboxsync%define MSR_IA32_BIOS_SIGN_ID 0x8B
6e94cf9c6334b6d8e3cd33afe7084e0048fe7c8evboxsync%define MSR_IA32_PMC0 0xC1
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_IA32_PMC1 0xC2
b9b55af9562405a52639a014db7fcc08040066advboxsync%define MSR_IA32_PMC2 0xC3
b9b55af9562405a52639a014db7fcc08040066advboxsync%define MSR_IA32_PMC3 0xC4
b9b55af9562405a52639a014db7fcc08040066advboxsync%define MSR_IA32_PLATFORM_INFO 0xCE
b9b55af9562405a52639a014db7fcc08040066advboxsync%define MSR_IA32_FSB_CLOCK_STS 0xCD
b9b55af9562405a52639a014db7fcc08040066advboxsync%define MSR_PKG_CST_CONFIG_CONTROL 0x000000e2
11a862be79fe123488bccca60c06e92cdbfec6e8vboxsync%define MSR_IA32_MPERF 0xE7
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_IA32_APERF 0xE8
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define MSR_IA32_MTRR_CAP 0xFE
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_BBL_CR_CTL3 0x11e
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%ifndef MSR_IA32_SYSENTER_CS
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define MSR_IA32_SYSENTER_CS 0x174
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define MSR_IA32_SYSENTER_ESP 0x175
1c8130d3c423590046a8ed4f3059de38ac5dcc14vboxsync%define MSR_IA32_SYSENTER_EIP 0x176
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%endif
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MCG_CAP 0x179
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MCG_STATUS 0x17A
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MCG_CTRL 0x17B
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_CR_PAT 0x277
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_PERFEVTSEL0 0x186
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_PERFEVTSEL1 0x187
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_FLEX_RATIO 0x194
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_PERF_STATUS 0x198
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_PERF_CTL 0x199
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_THERM_STATUS 0x19c
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_MISC_ENABLE 0x1A0
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_MISC_ENABLE_FAST_STRINGS RT_BIT_64(0)
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MISC_ENABLE_TCC RT_BIT_64(3)
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MISC_ENABLE_PERF_MON RT_BIT_64(7)
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MISC_ENABLE_BTS_UNAVAIL RT_BIT_64(11)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_MISC_ENABLE_PEBS_UNAVAIL RT_BIT_64(12)
80b2a38b5b76ea1ccf85fc51191685fff23ccfebvboxsync%define MSR_IA32_MISC_ENABLE_SST_ENABLE RT_BIT_64(16)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_MISC_ENABLE_MONITOR RT_BIT_64(18)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_MISC_ENABLE_LIMIT_CPUID RT_BIT_64(22)
73814339da1a372e4dce0281cb0cced14d9e5873vboxsync%define MSR_IA32_MISC_ENABLE_XTPR_MSG_DISABLE RT_BIT_64(23)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define MSR_IA32_MISC_ENABLE_XD_DISABLE RT_BIT_64(34)
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define MSR_IA32_DEBUGCTL 0x000001d9
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define MSR_P4_LASTBRANCH_TOS 0x000001da
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define MSR_P4_LASTBRANCH_0 0x000001db
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define MSR_P4_LASTBRANCH_1 0x000001dc
463d00559e51c6e08ccc9f5a77d2ee6d122b6e8cvboxsync%define MSR_P4_LASTBRANCH_2 0x000001dd
34822e8b7d00c04a0bc98c0d1a565a00d9bb1fd9vboxsync%define MSR_P4_LASTBRANCH_3 0x000001de
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define IA32_MTRR_PHYSBASE0 0x200
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define IA32_MTRR_PHYSMASK0 0x201
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define IA32_MTRR_PHYSBASE1 0x202
507ebf9b3b77c84000a55645867db6617b5324bcvboxsync%define IA32_MTRR_PHYSMASK1 0x203
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSBASE2 0x204
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSMASK2 0x205
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSBASE3 0x206
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSMASK3 0x207
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSBASE4 0x208
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSMASK4 0x209
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSBASE5 0x20a
85c594c1140f082dd862abde9dc7825137a3d51avboxsync%define IA32_MTRR_PHYSMASK5 0x20b
%define IA32_MTRR_PHYSBASE6 0x20c
%define IA32_MTRR_PHYSMASK6 0x20d
%define IA32_MTRR_PHYSBASE7 0x20e
%define IA32_MTRR_PHYSMASK7 0x20f
%define IA32_MTRR_PHYSBASE8 0x210
%define IA32_MTRR_PHYSMASK8 0x211
%define IA32_MTRR_PHYSBASE9 0x212
%define IA32_MTRR_PHYSMASK9 0x213
%define IA32_MTRR_FIX64K_00000 0x250
%define IA32_MTRR_FIX16K_80000 0x258
%define IA32_MTRR_FIX16K_A0000 0x259
%define IA32_MTRR_FIX4K_C0000 0x268
%define IA32_MTRR_FIX4K_C8000 0x269
%define IA32_MTRR_FIX4K_D0000 0x26a
%define IA32_MTRR_FIX4K_D8000 0x26b
%define IA32_MTRR_FIX4K_E0000 0x26c
%define IA32_MTRR_FIX4K_E8000 0x26d
%define IA32_MTRR_FIX4K_F0000 0x26e
%define IA32_MTRR_FIX4K_F8000 0x26f
%define MSR_IA32_MTRR_DEF_TYPE 0x2FF
%define MSR_IA32_MC0_CTL 0x400
%define MSR_IA32_MC0_STATUS 0x401
%define MSR_IA32_VMX_BASIC_INFO 0x480
%define MSR_IA32_VMX_PINBASED_CTLS 0x481
%define MSR_IA32_VMX_PROCBASED_CTLS 0x482
%define MSR_IA32_VMX_EXIT_CTLS 0x483
%define MSR_IA32_VMX_ENTRY_CTLS 0x484
%define MSR_IA32_VMX_MISC 0x485
%define MSR_IA32_VMX_CR0_FIXED0 0x486
%define MSR_IA32_VMX_CR0_FIXED1 0x487
%define MSR_IA32_VMX_CR4_FIXED0 0x488
%define MSR_IA32_VMX_CR4_FIXED1 0x489
%define MSR_IA32_VMX_VMCS_ENUM 0x48A
%define MSR_IA32_VMX_VMFUNC 0x491
%define MSR_IA32_VMX_PROCBASED_CTLS2 0x48B
%define MSR_IA32_VMX_EPT_VPID_CAP 0x48C
%define MSR_IA32_DS_AREA 0x600
%define MSR_RAPL_POWER_UNIT 0x606
%define MSR_IA32_X2APIC_START 0x800
%define MSR_IA32_X2APIC_TPR 0x808
%define MSR_IA32_X2APIC_END 0xBFF
%define MSR_K6_EFER 0xc0000080
%define MSR_K6_EFER_SCE RT_BIT(0)
%define MSR_K6_EFER_LME RT_BIT(8)
%define MSR_K6_EFER_LMA RT_BIT(10)
%define MSR_K6_EFER_NXE RT_BIT(11)
%define MSR_K6_EFER_SVME RT_BIT(12)
%define MSR_K6_EFER_LMSLE RT_BIT(13)
%define MSR_K6_EFER_FFXSR RT_BIT(14)
%define MSR_K6_EFER_TCE RT_BIT(15)
%define MSR_K6_STAR 0xc0000081
%define MSR_K6_STAR_SYSRET_CS_SS_SHIFT 48
%define MSR_K6_STAR_SYSCALL_CS_SS_SHIFT 32
%define MSR_K6_STAR_SEL_MASK 0xffff
%define MSR_K6_STAR_SYSCALL_EIP_MASK 0xffffffff
%define MSR_K6_WHCR 0xc0000082
%define MSR_K6_UWCCR 0xc0000085
%define MSR_K6_PSOR 0xc0000087
%define MSR_K6_PFIR 0xc0000088
%define MSR_K7_EVNTSEL0 0xc0010000
%define MSR_K7_EVNTSEL1 0xc0010001
%define MSR_K7_EVNTSEL2 0xc0010002
%define MSR_K7_EVNTSEL3 0xc0010003
%define MSR_K7_PERFCTR0 0xc0010004
%define MSR_K7_PERFCTR1 0xc0010005
%define MSR_K7_PERFCTR2 0xc0010006
%define MSR_K7_PERFCTR3 0xc0010007
%define MSR_K8_LSTAR 0xc0000082
%define MSR_K8_CSTAR 0xc0000083
%define MSR_K8_SF_MASK 0xc0000084
%define MSR_K8_FS_BASE 0xc0000100
%define MSR_K8_GS_BASE 0xc0000101
%define MSR_K8_KERNEL_GS_BASE 0xc0000102
%define MSR_K8_TSC_AUX 0xc0000103
%define MSR_K8_SYSCFG 0xc0010010
%define MSR_K8_HWCR 0xc0010015
%define MSR_K8_IORRBASE0 0xc0010016
%define MSR_K8_IORRMASK0 0xc0010017
%define MSR_K8_IORRBASE1 0xc0010018
%define MSR_K8_IORRMASK1 0xc0010019
%define MSR_K8_TOP_MEM1 0xc001001a
%define MSR_K8_TOP_MEM2 0xc001001d
%define MSR_K8_NB_CFG 0xc001001f
%define MSR_K8_INT_PENDING 0xc0010055
%define MSR_K8_VM_CR 0xc0010114
%define MSR_K8_VM_CR_SVM_DISABLE RT_BIT(4)
%define MSR_K8_IGNNE 0xc0010115
%define MSR_K8_SMM_CTL 0xc0010116
%define MSR_K8_VM_HSAVE_PA 0xc0010117
%define X86_PG_ENTRIES 1024
%define X86_PG_PAE_ENTRIES 512
%define X86_PG_PAE_PDPE_ENTRIES 4
%define X86_PG_AMD64_ENTRIES X86_PG_PAE_ENTRIES
%define X86_PG_AMD64_PDPE_ENTRIES X86_PG_AMD64_ENTRIES
%define X86_PAGE_4K_SIZE _4K
%define X86_PAGE_4K_SHIFT 12
%define X86_PAGE_4K_OFFSET_MASK 0xfff
%define X86_PAGE_4K_BASE_MASK 0xfffffffffffff000
%define X86_PAGE_4K_BASE_MASK_32 0xfffff000
%define X86_PAGE_2M_SIZE _2M
%define X86_PAGE_2M_SHIFT 21
%define X86_PAGE_2M_OFFSET_MASK 0x001fffff
%define X86_PAGE_2M_BASE_MASK 0xffffffffffe00000
%define X86_PAGE_2M_BASE_MASK_32 0xffe00000
%define X86_PAGE_4M_SIZE _4M
%define X86_PAGE_4M_SHIFT 22
%define X86_PAGE_4M_OFFSET_MASK 0x003fffff
%define X86_PAGE_4M_BASE_MASK 0xffffffffffc00000
%define X86_PAGE_4M_BASE_MASK_32 0xffc00000
%define X86_IS_CANONICAL(a_u64Addr) ((uint64_t)(a_u64Addr) + 0x800000000000 < UINT64_C(0x1000000000000))
%define X86_PTE_BIT_P 0
%define X86_PTE_BIT_RW 1
%define X86_PTE_BIT_US 2
%define X86_PTE_BIT_PWT 3
%define X86_PTE_BIT_PCD 4
%define X86_PTE_BIT_A 5
%define X86_PTE_BIT_D 6
%define X86_PTE_BIT_PAT 7
%define X86_PTE_BIT_G 8
%define X86_PTE_P RT_BIT(0)
%define X86_PTE_RW RT_BIT(1)
%define X86_PTE_US RT_BIT(2)
%define X86_PTE_PWT RT_BIT(3)
%define X86_PTE_PCD RT_BIT(4)
%define X86_PTE_A RT_BIT(5)
%define X86_PTE_D RT_BIT(6)
%define X86_PTE_PAT RT_BIT(7)
%define X86_PTE_G RT_BIT(8)
%define X86_PTE_AVL_MASK (RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
%define X86_PTE_PG_MASK ( 0xfffff000 )
%define X86_PTE_PAE_PG_MASK 0x000ffffffffff000
%define X86_PTE_PAE_NX RT_BIT_64(63)
%define X86_PTE_PAE_MBZ_MASK_NX 0x7ff0000000000000
%define X86_PTE_PAE_MBZ_MASK_NO_NX 0xfff0000000000000
%define X86_PTE_LM_MBZ_MASK_NX 0x0000000000000000
%define X86_PTE_LM_MBZ_MASK_NO_NX 0x8000000000000000
%define X86_PT_SHIFT 12
%define X86_PT_MASK 0x3ff
%define X86_PT_PAE_SHIFT 12
%define X86_PT_PAE_MASK 0x1ff
%define X86_PDE_P RT_BIT(0)
%define X86_PDE_RW RT_BIT(1)
%define X86_PDE_US RT_BIT(2)
%define X86_PDE_PWT RT_BIT(3)
%define X86_PDE_PCD RT_BIT(4)
%define X86_PDE_A RT_BIT(5)
%define X86_PDE_PS RT_BIT(7)
%define X86_PDE_AVL_MASK (RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
%define X86_PDE_PG_MASK ( 0xfffff000 )
%define X86_PDE_PAE_PG_MASK 0x000ffffffffff000
%define X86_PDE_PAE_NX RT_BIT_64(63)
%define X86_PDE_PAE_MBZ_MASK_NX 0x7ff0000000000080
%define X86_PDE_PAE_MBZ_MASK_NO_NX 0xfff0000000000080
%define X86_PDE_LM_MBZ_MASK_NX 0x0000000000000080
%define X86_PDE_LM_MBZ_MASK_NO_NX 0x8000000000000080
%define X86_PDE4M_P RT_BIT(0)
%define X86_PDE4M_RW RT_BIT(1)
%define X86_PDE4M_US RT_BIT(2)
%define X86_PDE4M_PWT RT_BIT(3)
%define X86_PDE4M_PCD RT_BIT(4)
%define X86_PDE4M_A RT_BIT(5)
%define X86_PDE4M_D RT_BIT(6)
%define X86_PDE4M_PS RT_BIT(7)
%define X86_PDE4M_G RT_BIT(8)
%define X86_PDE4M_AVL (RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
%define X86_PDE4M_PAT RT_BIT(12)
%define X86_PDE4M_PAT_SHIFT (12 - 7)
%define X86_PDE4M_PG_MASK ( 0xffc00000 )
%define X86_PDE4M_PG_HIGH_MASK ( 0x001fe000 )
%define X86_PDE4M_PG_HIGH_SHIFT 19
%define X86_PDE4M_MBZ_MASK RT_BIT_32(21)
%define X86_PDE2M_PAE_PG_MASK 0x000fffffffe00000
%define X86_PDE2M_PAE_NX RT_BIT_64(63)
%define X86_PDE2M_PAE_MBZ_MASK_NX 0x7ff00000001fe000
%define X86_PDE2M_PAE_MBZ_MASK_NO_NX 0xfff00000001fe000
%define X86_PDE2M_LM_MBZ_MASK_NX 0x00000000001fe000
%define X86_PDE2M_LM_MBZ_MASK_NO_NX 0x80000000001fe000
%define X86_PD_SHIFT 22
%define X86_PD_MASK 0x3ff
%define X86_PD_PAE_SHIFT 21
%define X86_PD_PAE_MASK 0x1ff
%define X86_PDPE_P RT_BIT(0)
%define X86_PDPE_RW RT_BIT(1)
%define X86_PDPE_US RT_BIT(2)
%define X86_PDPE_PWT RT_BIT(3)
%define X86_PDPE_PCD RT_BIT(4)
%define X86_PDPE_A RT_BIT(5)
%define X86_PDPE_LM_PS RT_BIT(7)
%define X86_PDPE_AVL_MASK (RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
%define X86_PDPE_PG_MASK 0x000ffffffffff000
%define X86_PDPE_PAE_MBZ_MASK 0xfff00000000001e6
%define X86_PDPE_LM_NX RT_BIT_64(63)
%define X86_PDPE_LM_MBZ_MASK_NX 0x0000000000000180
%define X86_PDPE_LM_MBZ_MASK_NO_NX 0x8000000000000180
%define X86_PDPE1G_LM_MBZ_MASK_NX 0x000000003fffe000
%define X86_PDPE1G_LM_MBZ_MASK_NO_NX 0x800000003fffe000
%define X86_PDPT_SHIFT 30
%define X86_PDPT_MASK_PAE 0x3
%define X86_PDPT_MASK_AMD64 0x1ff
%define X86_PML4E_P RT_BIT(0)
%define X86_PML4E_RW RT_BIT(1)
%define X86_PML4E_US RT_BIT(2)
%define X86_PML4E_PWT RT_BIT(3)
%define X86_PML4E_PCD RT_BIT(4)
%define X86_PML4E_A RT_BIT(5)
%define X86_PML4E_AVL_MASK (RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
%define X86_PML4E_PG_MASK 0x000ffffffffff000
%define X86_PML4E_MBZ_MASK_NX 0x0000000000000080
%define X86_PML4E_MBZ_MASK_NO_NX 0x8000000000000080
%define X86_PML4E_NX RT_BIT_64(63)
%define X86_PML4_SHIFT 39
%define X86_PML4_MASK 0x1ff
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define X86_OFF_FXSTATE_RSVD 0x1d0
%define X86_FXSTATE_RSVD_32BIT_MAGIC 0x32b3232b
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define X86_FSW_IE RT_BIT(0)
%define X86_FSW_DE RT_BIT(1)
%define X86_FSW_ZE RT_BIT(2)
%define X86_FSW_OE RT_BIT(3)
%define X86_FSW_UE RT_BIT(4)
%define X86_FSW_PE RT_BIT(5)
%define X86_FSW_SF RT_BIT(6)
%define X86_FSW_ES RT_BIT(7)
%define X86_FSW_XCPT_MASK 0x007f
%define X86_FSW_XCPT_ES_MASK 0x00ff
%define X86_FSW_C0 RT_BIT(8)
%define X86_FSW_C1 RT_BIT(9)
%define X86_FSW_C2 RT_BIT(10)
%define X86_FSW_TOP_MASK 0x3800
%define X86_FSW_TOP_SHIFT 11
%define X86_FSW_TOP_SMASK 0x0007
%define X86_FSW_TOP_GET(a_uFsw) (((a_uFsw) >> X86_FSW_TOP_SHIFT) & X86_FSW_TOP_SMASK)
%define X86_FSW_C3 RT_BIT(14)
%define X86_FSW_C_MASK 0x4700
%define X86_FSW_B RT_BIT(15)
%define X86_FCW_IM RT_BIT(0)
%define X86_FCW_DM RT_BIT(1)
%define X86_FCW_ZM RT_BIT(2)
%define X86_FCW_OM RT_BIT(3)
%define X86_FCW_UM RT_BIT(4)
%define X86_FCW_PM RT_BIT(5)
%define X86_FCW_MASK_ALL 0x007f
%define X86_FCW_XCPT_MASK 0x003f
%define X86_FCW_PC_MASK 0x0300
%define X86_FCW_PC_24 0x0000
%define X86_FCW_PC_RSVD 0x0100
%define X86_FCW_PC_53 0x0200
%define X86_FCW_PC_64 0x0300
%define X86_FCW_RC_MASK 0x0c00
%define X86_FCW_RC_NEAREST 0x0000
%define X86_FCW_RC_DOWN 0x0400
%define X86_FCW_RC_UP 0x0800
%define X86_FCW_RC_ZERO 0x0c00
%define X86_FCW_ZERO_MASK 0xf080
%define X86_MXSCR_IE RT_BIT(0)
%define X86_MXSCR_DE RT_BIT(1)
%define X86_MXSCR_ZE RT_BIT(2)
%define X86_MXSCR_OE RT_BIT(3)
%define X86_MXSCR_UE RT_BIT(4)
%define X86_MXSCR_PE RT_BIT(5)
%define X86_MXSCR_DAZ RT_BIT(6)
%define X86_MXSCR_IM RT_BIT(7)
%define X86_MXSCR_DM RT_BIT(8)
%define X86_MXSCR_ZM RT_BIT(9)
%define X86_MXSCR_OM RT_BIT(10)
%define X86_MXSCR_UM RT_BIT(11)
%define X86_MXSCR_PM RT_BIT(12)
%define X86_MXSCR_RC_MASK 0x6000
%define X86_MXSCR_RC_NEAREST 0x0000
%define X86_MXSCR_RC_DOWN 0x2000
%define X86_MXSCR_RC_UP 0x4000
%define X86_MXSCR_RC_ZERO 0x6000
%define X86_MXSCR_FZ RT_BIT(15)
%define X86_MXSCR_MM RT_BIT(17)
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define XSAVE_C_X87 RT_BIT_64(0)
%define XSAVE_C_SSE RT_BIT_64(1)
%define XSAVE_C_YMM RT_BIT_64(2)
%define XSAVE_C_BNDREGS RT_BIT_64(3)
%define XSAVE_C_BNDCSR RT_BIT_64(4)
%define XSAVE_C_OPMASK RT_BIT_64(5)
%define XSAVE_C_ZMM_HI256 RT_BIT_64(6)
%define XSAVE_C_ZMM_16HI RT_BIT_64(7)
%define XSAVE_C_LWP RT_BIT_64(62)
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define X86DESCATTR_TYPE 0x0000000f
%define X86DESCATTR_DT 0x00000010
%define X86DESCATTR_DPL 0x00000060
%define X86DESCATTR_DPL_SHIFT 5
%define X86DESCATTR_P 0x00000080
%define X86DESCATTR_LIMIT_HIGH 0x00000f00
%define X86DESCATTR_AVL 0x00001000
%define X86DESCATTR_L 0x00002000
%define X86DESCATTR_D 0x00004000
%define X86DESCATTR_G 0x00008000
%define X86DESCATTR_UNUSABLE 0x00010000
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%define X86DESCGENERIC_BIT_OFF_LIMIT_LOW (0)
%define X86DESCGENERIC_BIT_OFF_BASE_LOW (16)
%define X86DESCGENERIC_BIT_OFF_BASE_HIGH1 (32)
%define X86DESCGENERIC_BIT_OFF_TYPE (40)
%define X86DESCGENERIC_BIT_OFF_DESC_TYPE (44)
%define X86DESCGENERIC_BIT_OFF_DPL (45)
%define X86DESCGENERIC_BIT_OFF_PRESENT (47)
%define X86DESCGENERIC_BIT_OFF_LIMIT_HIGH (48)
%define X86DESCGENERIC_BIT_OFF_AVAILABLE (52)
%define X86DESCGENERIC_BIT_OFF_LONG (53)
%define X86DESCGENERIC_BIT_OFF_DEF_BIG (54)
%define X86DESCGENERIC_BIT_OFF_GRANULARITY (55)
%define X86DESCGENERIC_BIT_OFF_BASE_HIGH2 (56)
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%if HC_ARCH_BITS == 64
%else
%endif
%if HC_ARCH_BITS == 64
%else
%endif
%if HC_ARCH_BITS == 64
%else
%endif
%define X86_SEL_TYPE_CODE 8
%define X86_SEL_TYPE_MEMORY RT_BIT(4)
%define X86_SEL_TYPE_ACCESSED 1
%define X86_SEL_TYPE_DOWN 4
%define X86_SEL_TYPE_CONF 4
%define X86_SEL_TYPE_WRITE 2
%define X86_SEL_TYPE_READ 2
%define X86_SEL_TYPE_READ_BIT 1
%define X86_SEL_TYPE_RO 0
%define X86_SEL_TYPE_RO_ACC (0 | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_RW 2
%define X86_SEL_TYPE_RW_ACC (2 | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_RO_DOWN 4
%define X86_SEL_TYPE_RO_DOWN_ACC (4 | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_RW_DOWN 6
%define X86_SEL_TYPE_RW_DOWN_ACC (6 | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_EO (0 | X86_SEL_TYPE_CODE)
%define X86_SEL_TYPE_EO_ACC (0 | X86_SEL_TYPE_CODE | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_ER (2 | X86_SEL_TYPE_CODE)
%define X86_SEL_TYPE_ER_ACC (2 | X86_SEL_TYPE_CODE | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_EO_CONF (4 | X86_SEL_TYPE_CODE)
%define X86_SEL_TYPE_EO_CONF_ACC (4 | X86_SEL_TYPE_CODE | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_ER_CONF (6 | X86_SEL_TYPE_CODE)
%define X86_SEL_TYPE_ER_CONF_ACC (6 | X86_SEL_TYPE_CODE | X86_SEL_TYPE_ACCESSED)
%define X86_SEL_TYPE_SYS_TSS_BUSY_MASK 2
%define X86_SEL_TYPE_SYS_UNDEFINED 0
%define X86_SEL_TYPE_SYS_286_TSS_AVAIL 1
%define X86_SEL_TYPE_SYS_LDT 2
%define X86_SEL_TYPE_SYS_286_TSS_BUSY 3
%define X86_SEL_TYPE_SYS_286_CALL_GATE 4
%define X86_SEL_TYPE_SYS_TASK_GATE 5
%define X86_SEL_TYPE_SYS_286_INT_GATE 6
%define X86_SEL_TYPE_SYS_286_TRAP_GATE 7
%define X86_SEL_TYPE_SYS_UNDEFINED2 8
%define X86_SEL_TYPE_SYS_386_TSS_AVAIL 9
%define X86_SEL_TYPE_SYS_UNDEFINED3 0xA
%define X86_SEL_TYPE_SYS_386_TSS_BUSY 0xB
%define X86_SEL_TYPE_SYS_386_CALL_GATE 0xC
%define X86_SEL_TYPE_SYS_UNDEFINED4 0xD
%define X86_SEL_TYPE_SYS_386_INT_GATE 0xE
%define X86_SEL_TYPE_SYS_386_TRAP_GATE 0xF
%define AMD64_SEL_TYPE_SYS_LDT 2
%define AMD64_SEL_TYPE_SYS_TSS_AVAIL 9
%define AMD64_SEL_TYPE_SYS_TSS_BUSY 0xB
%define AMD64_SEL_TYPE_SYS_CALL_GATE 0xC
%define AMD64_SEL_TYPE_SYS_INT_GATE 0xE
%define AMD64_SEL_TYPE_SYS_TRAP_GATE 0xF
%define X86_DESC_TYPE_MASK (RT_BIT(8) | RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
%define X86_DESC_S RT_BIT(12)
%define X86_DESC_DPL (RT_BIT(13) | RT_BIT(14))
%define X86_DESC_P RT_BIT(15)
%define X86_DESC_AVL RT_BIT(20)
%define X86_DESC_DB RT_BIT(22)
%define X86_DESC_G RT_BIT(23)
%define X86_SEL_TYPE_SYS_286_TSS_LIMIT_MIN 0x2b
%define X86_SEL_TYPE_SYS_386_TSS_LIMIT_MIN 0x67
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define X86_SEL_SHIFT 3
%define X86_SEL_MASK 0xfff8
%define X86_SEL_MASK_OFF_RPL 0xfffc
%define X86_SEL_LDT 0x0004
%define X86_SEL_RPL 0x0003
%define X86_SEL_RPL_LDT 0x0007
%define X86_XCPT_MAX (X86_XCPT_SX)
%define X86_TRAP_ERR_EXTERNAL 1
%define X86_TRAP_ERR_IDT 2
%define X86_TRAP_ERR_TI 4
%define X86_TRAP_ERR_SEL_MASK 0xfff8
%define X86_TRAP_ERR_SEL_SHIFT 3
%define X86_TRAP_PF_P RT_BIT(0)
%define X86_TRAP_PF_RW RT_BIT(1)
%define X86_TRAP_PF_US RT_BIT(2)
%define X86_TRAP_PF_RSVD RT_BIT(3)
%define X86_TRAP_PF_ID RT_BIT(4)
%ifndef VBOX_FOR_DTRACE_LIB
%else
%endif
%ifndef VBOX_FOR_DTRACE_LIB
%else
%endif
%define X86_MODRM_RM_MASK 0x07
%define X86_MODRM_REG_MASK 0x38
%define X86_MODRM_REG_SMASK 0x07
%define X86_MODRM_REG_SHIFT 3
%define X86_MODRM_MOD_MASK 0xc0
%define X86_MODRM_MOD_SMASK 0x03
%define X86_MODRM_MOD_SHIFT 6
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define X86_SIB_BASE_MASK 0x07
%define X86_SIB_INDEX_MASK 0x38
%define X86_SIB_INDEX_SMASK 0x07
%define X86_SIB_INDEX_SHIFT 3
%define X86_SIB_SCALE_MASK 0xc0
%define X86_SIB_SCALE_SMASK 0x03
%define X86_SIB_SCALE_SHIFT 6
%ifndef VBOX_FOR_DTRACE_LIB
%endif
%define X86_GREG_xAX 0
%define X86_GREG_xCX 1
%define X86_GREG_xDX 2
%define X86_GREG_xBX 3
%define X86_GREG_xSP 4
%define X86_GREG_xBP 5
%define X86_GREG_xSI 6
%define X86_GREG_xDI 7
%define X86_GREG_x8 8
%define X86_GREG_x9 9
%define X86_GREG_x10 10
%define X86_GREG_x11 11
%define X86_GREG_x12 12
%define X86_GREG_x13 13
%define X86_GREG_x14 14
%define X86_GREG_x15 15
%define X86_SREG_ES 0
%define X86_SREG_CS 1
%define X86_SREG_SS 2
%define X86_SREG_DS 3
%define X86_SREG_FS 4
%define X86_SREG_GS 5
%define X86_SREG_COUNT 6
%define X86_OP_PRF_CS 0x2e
%define X86_OP_PRF_SS 0x36
%define X86_OP_PRF_DS 0x3e
%define X86_OP_PRF_ES 0x26
%define X86_OP_PRF_FS 0x64
%define X86_OP_PRF_GS 0x65
%define X86_OP_PRF_SIZE_OP 0x66
%define X86_OP_PRF_SIZE_ADDR 0x67
%define X86_OP_PRF_LOCK 0xf0
%define X86_OP_PRF_REPZ 0xf2
%define X86_OP_PRF_REPNZ 0xf3
%define X86_OP_REX_B 0x41
%define X86_OP_REX_X 0x42
%define X86_OP_REX_R 0x44
%define X86_OP_REX_W 0x48
%endif
%include "iprt/x86extra.mac"