A device for hardware virtualization support. The device includes 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 (CF) that enables an interrupt delivery mechanism, wherein the host system component is configured to record, if the CF 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.