Change the name of counter
add the INTERRUPT_HANDLER of vmm
Change the position of upcall_irq, make the code more clear, also more easy to invoke with parameter interrupt_frame
add handler of guest OS for vCPU
Change the handler mechanism, now the handler of Guest is a common ENTRY
Add the upcall to Guest OS mechanism