pub const VM_SYNC_INVALIDATE: vm_sync_t = _; // 4u32