A device for hardware virtualization support is provided, comprising a hypervisor component configured to launch a virtual machine (VM) and configured to exit and/or to enter a host level; a host system component configured to process a configuration flag that enables an interrupt delivery mechanism; wherein the host system component is configured to record, if the configuration flag is set, a virtual timer number as a global variable, providing information to the hypervisor component when a virtual timer is expired; and wherein the hypervisor component is configured to process the virtual timer number of the global variable in the host level.