2014-03-29 12:14:24 +08:00
|
|
|
/*
|
|
|
|
|
* VMM vector handle
|
2018-10-29 11:06:58 +08:00
|
|
|
*
|
|
|
|
|
* COPYRIGHT (C) 2013-2014, Real-Thread Information Technology Ltd
|
|
|
|
|
* All rights reserved
|
|
|
|
|
*
|
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2014-03-29 12:14:24 +08:00
|
|
|
*
|
|
|
|
|
* 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;
|
|
|
|
|
}
|
|
|
|
|
|
