1 /* 2 * COPYRIGHT (C) 2013-2014, Real-Thread Information Technology Ltd 3 * All rights reserved 4 * 5 * SPDX-License-Identifier: Apache-2.0 6 * 7 * Change Logs: 8 * Date Author Notes 9 * 2013-11-04 Grissiom add comment 10 */ 11 12 #ifndef __VMM_CONTEXT_H__ 13 #define __VMM_CONTEXT_H__ 14 15 #include <armv7.h> // for struct rt_hw_stack 16 17 #include "vmm.h" 18 19 void vmm_context_init(void *context_addr); 20 #ifdef RT_VMM_USING_DOMAIN 21 void vmm_context_init_domain(struct vmm_domain *domain); 22 #endif 23 void vmm_virq_pending(int irq); 24 void vmm_verify_guest_status(struct rt_hw_stack *sp); 25 26 void vmm_show_guest(void); 27 #endif 28 29