1 /* 2 * VMM vector handle 3 * 4 * COPYRIGHT (C) 2013-2014, Real-Thread Information Technology Ltd 5 * All rights reserved 6 * 7 * SPDX-License-Identifier: Apache-2.0 8 * 9 * Change Logs: 10 * Date Author Notes 11 * 2013-06-15 Bernard the first verion 12 */ 13 #include <rthw.h> 14 #include <rtthread.h> 15 #include <interrupt.h> 16 #include "vmm.h" 17 vmm_guest_isr(int irqno,void * parameter)18void vmm_guest_isr(int irqno, void* parameter) 19 { 20 /* nothing, let GuestOS to handle it */ 21 rt_hw_interrupt_clear(irqno); 22 } 23 vmm_vector_init(void)24void vmm_vector_init(void) 25 { 26 rt_hw_interrupt_install(RT_VMM_VIRQ_TRIGGER, vmm_guest_isr, RT_NULL, "virq"); 27 rt_hw_interrupt_umask(RT_VMM_VIRQ_TRIGGER); 28 29 return; 30 } 31 32