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