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