xen/arm: vtimer: Remove duplicate header
authorXenia Ragiadakou <burzalodowa@gmail.com>
Tue, 21 Jun 2022 15:44:02 +0000 (18:44 +0300)
committerJulien Grall <jgrall@amazon.com>
Thu, 23 Jun 2022 18:54:49 +0000 (19:54 +0100)
commit7c1f724dd95cf627f72c96d310b6b7d487bc2281
treeae1e65c29d3a840d38ff2a2f01d83232c812ef9b
parent6b2372e2969fed0e265cbdbc13b08de2634ea210
xen/arm: vtimer: Remove duplicate header

The header file <asm/regs.h> is already included above and can be removed here.

Signed-off-by: Xenia Ragiadakou <burzalodowa@gmail.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/vtimer.c