Reading through the hypervisor extension v0.6, I noticed the new register called hvip. The spec says that this register is intended for the hypervisor to write to indicate pending interrupts for the VS-mode. However,
as how I understood the older version of the hypervisor extension, this purposed has already been fulfilled by writing to the vsip register. Why make another register? Am I missing something?
