/* Change Logs: Date Author Notes  Bernard the first verion  */
void vmm_guest_isr(int irqno, void *parameter)
/* Change Logs: Date Author Notes  Bernard the first verion  */
void vmm_guest_isr(int irqno, void *parameter)
{
    rt_hw_interrupt_clear(irqno);
}