vmclock_acpi_notification_handler
vmclock_acpi_notification_handler,
vmclock_acpi_notification_handler);