rt-thread/components/vmm/vmm_vector.c

32 lines
654 B
C

/*
* VMM vector handle
*
* COPYRIGHT (C) 2011-2021, Real-Thread Information Technology Ltd
* All rights reserved
*
* SPDX-License-Identifier: Apache-2.0
*
* Change Logs:
* Date Author Notes
* 2013-06-15 Bernard the first verion
*/
#include <rthw.h>
#include <rtthread.h>
#include <interrupt.h>
#include "vmm.h"
void vmm_guest_isr(int irqno, void* parameter)
{
/* nothing, let GuestOS to handle it */
rt_hw_interrupt_clear(irqno);
}
void vmm_vector_init(void)
{
rt_hw_interrupt_install(RT_VMM_VIRQ_TRIGGER, vmm_guest_isr, RT_NULL, "virq");
rt_hw_interrupt_umask(RT_VMM_VIRQ_TRIGGER);
return;
}