{
uint32 value;
-#if defined VMM || defined VM_ARM_64
+#if defined VMM || defined VM_ARM_64 || defined VMKERNEL || defined VMKERNEL_MODULE
ASSERT(((uintptr_t)var % 4) == 0);
#endif
Atomic_Write32(Atomic_uint32 *var, // OUT
uint32 val) // IN
{
-#if defined VMM || defined VM_ARM_64
+#if defined VMM || defined VM_ARM_64 || defined VMKERNEL || defined VMKERNEL_MODULE
ASSERT(((uintptr_t)var % 4) == 0);
#endif
uint64 value;
#endif
-#if defined VMM || defined VM_ARM_64
+#if defined VMM || defined VM_ARM_64 || defined VMKERNEL || defined VMKERNEL_MODULE
ASSERT((uintptr_t)var % 8 == 0);
#endif
Atomic_Write64(Atomic_uint64 *var, // OUT
uint64 val) // IN
{
-#if defined VMM || defined VM_ARM_64
+#if defined VMM || defined VM_ARM_64 || defined VMKERNEL || defined VMKERNEL_MODULE
ASSERT((uintptr_t)var % 8 == 0);
#endif
{
uint16 value;
-#if defined VMM || defined VM_ARM_64
+#if defined VMM || defined VM_ARM_64 || defined VMKERNEL || defined VMKERNEL_MODULE
ASSERT((uintptr_t)var % 2 == 0);
#endif
Atomic_Write16(Atomic_uint16 *var, // OUT:
uint16 val) // IN:
{
-#if defined VMM || defined VM_ARM_64
+#if defined VMM || defined VM_ARM_64 || defined VMKERNEL || defined VMKERNEL_MODULE
ASSERT((uintptr_t)var % 2 == 0);
#endif