Mingqiang Chi c43d0e4f01 hv:Changed several APIs to void type ...

Since these APIs always return 0,
change them to void type,
vcpu_set_cr0()
vmx_write_cr0()
vcpu_set_cr4()
vmx_write_cr4()
kick_notification()
tsc_deadline_handler()
dmar_fault_handler()
ptdev_interrupt_handler()

Signed-off-by: Mingqiang Chi <mingqiang.chi@intel.com>
Reviewed-by: Junjie Mao <junjie.mao@intel.com>

2018-08-23 08:54:54 +08:00

..

x86

hv:Changed several APIs to void type

2018-08-23 08:54:54 +08:00