/* After the clock is registered, the host will keep writing to the registered memory location. If the guest happens to shutdown, this memory won't be valid. In cases like kexec, in which you install a new kernel, this means a random memory location will be kept being written. So before any kind of shutdown from our side, we unregister the clock by writting anything that does not have the 'enable' bit set in the msr  */
static void kvm_shutdown(void)
/* After the clock is registered, the host will keep writing to the registered memory location. If the guest happens to shutdown, this memory won't be valid. In cases like kexec, in which you install a new kernel, this means a random memory location will be kept being written. So before any kind of shutdown from our side, we unregister the clock by writting anything that does not have the 'enable' bit set in the msr  */
static void kvm_shutdown(void)
{
	native_write_msr_safe(MSR_KVM_SYSTEM_TIME, 0, 0);
	native_machine_shutdown();
}