Device for hardware virtualization support, the device comprising: - a hypervisor component configured to launch a virtual machine, VM, running a guest operating system, OS, 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 configuration flag is set, a virtual timer number as a global variable, providing information to the hypervisor component when a virtual timer is expired; wherein the host system component is configured to perform a virtualization specification for a physical interrupt taken in a hypervisor mode wherein the hypervisor component is configured to process the virtual timer number of the global variable in the host level; wherein the host system component is configured to restore a host OS state, to mark an exit reason to a register and to return to the host OS state; wherein, if an optimization flag, OF, is enabled, the hypervisor component is configured to update a generic interrupt controller list register and to return back to the guest OS state, when the expiration of the virtual timer is detected. - a hypervisor component configured to launch a virtual machine, VM, running a guest operating system, OS, 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 configuration flag is set, a virtual timer number as a global variable, providing information to the hypervisor component when a virtual timer is expired; wherein the host system component is configured to perform a virtualization specification for a physical interrupt taken in a hypervisor mode wherein the hypervisor component is configured to process the virtual timer number of the global variable in the host level; wherein the host system component is configured to restore a host OS state, to mark an exit reason to a register and to return to the host OS state; wherein, if an optimization flag, OF, is enabled, the hypervisor component is configured to update a generic interrupt controller list register and to return back to the guest OS state, when the expiration of the virtual timer is detected. 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; wherein the host system component is configured to perform a virtualization specification for a physical interrupt taken in a hypervisor mode wherein the hypervisor component is configured to process the virtual timer number of the global variable in the host level; wherein the host system component is configured to restore a host OS state, to mark an exit reason to a register and to return to the host OS state; wherein, if an optimization flag, OF, is enabled, the hypervisor component is configured to update a generic interrupt controller list register and to return back to the guest OS state, when the expiration of the virtual timer is detected.