V1-->V2: modify as Eddie's comments for staging step 1:
1. use kick-mode in per-cpu to control kicking cpu with INIT or IPI.
2. add param in HV boot to control use INIT only or use INIT/IPI by default

*** BLURB HERE ***

Minggui Cao (3):
hv: use kick-mode in per-cpu to control kick pcpu
hv: add param to control INIT used to kick pCPU
hv: improve smp call to support debugging RTVM

hypervisor/arch/x86/cpu.c | 2 +-
hypervisor/arch/x86/guest/vcpu.c | 23 +++++++++----------
hypervisor/arch/x86/guest/virq.c | 5 ++++
hypervisor/arch/x86/guest/vm.c | 2 +-
hypervisor/arch/x86/guest/vmcs.c | 6 -----
hypervisor/arch/x86/lapic.c | 10 ++++++++
hypervisor/arch/x86/notify.c | 20 ++++++++++++++--
hypervisor/common/sched_bvt.c | 4 ++--
hypervisor/common/sched_iorr.c | 2 +-
hypervisor/common/schedule.c | 24 ++++----------------
hypervisor/debug/console.c | 11 +++++++++
hypervisor/debug/shell.c | 22 ++++++++++--------
hypervisor/include/arch/x86/asm/guest/vcpu.h | 2 ++
hypervisor/include/arch/x86/asm/lapic.h | 2 ++
hypervisor/include/arch/x86/asm/notify.h | 1 +
hypervisor/include/arch/x86/asm/per_cpu.h | 1 +
hypervisor/include/common/schedule.h | 8 +------
hypervisor/include/debug/console.h | 1 +
hypervisor/release/console.c | 2 ++
19 files changed, 87 insertions(+), 61 deletions(-)

--
2.25.1