Fork自 RT-Thread / rt-thread
体验新版 GitCode,发现更多精彩内容 >>
/* * COPYRIGHT (C) 2013-2014, Real-Thread Information Technology Ltd * All rights reserved * * SPDX-License-Identifier: Apache-2.0 * * Change Logs: * Date Author Notes * 2013-11-04 Grissiom add comment */
#ifndef __VMM_CONTEXT_H__ #define __VMM_CONTEXT_H__ #include <armv7.h> // for struct rt_hw_stack #include "vmm.h" void vmm_context_init(void *context_addr); #ifdef RT_VMM_USING_DOMAIN void vmm_context_init_domain(struct vmm_domain *domain); #endif void vmm_virq_pending(int irq); void vmm_verify_guest_status(struct rt_hw_stack *sp); void vmm_show_guest(void); #endif