xen/arm: vtimer: Change the return value to void for virt_timer_[save|restore]
authorBaodong Chen <chenbaodong@mxnavi.com>
Mon, 10 Jun 2019 05:07:54 +0000 (13:07 +0800)
committerJulien Grall <julien.grall@arm.com>
Tue, 11 Jun 2019 13:17:46 +0000 (14:17 +0100)
commit7f03e7e05f4f80a41d28706c7567154dce257ce3
tree7cb89c6ce3dee8f611bfb34c2683b5645ba586df
parente469908d48d0d6f2c57336a7391c2eb81ff21bba
xen/arm: vtimer: Change the return value to void for virt_timer_[save|restore]

virt_timer_{save, return} always return 0 and none of the caller
actually check it. So change the return type to void.

Signed-off-by: Baodong Chen <chenbaodong@mxnavi.com>
[julien: Rework the commit message]
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/vtimer.c
xen/include/asm-arm/vtimer.h