- _ -

• __attribute() : context.h , mm.c , vmm.c
• __mon_enter_hyp() : monitor_private.h
• __mon_install_guest() : monitor_private.h
• __mon_switch_to_guest_context() : context.c
• _generic_timer_hyp_irq_handler() : generic_timer.c
• _hmm_init() : mm.c
• _hyp_guest0_copy_zimage() : context.c
• _hyp_hvc_service() : trap.c
• _hyp_trap_dabort() : trap.c
• _hyp_trap_irq() : trap.c
• _hyp_trap_unhandled() : trap.c
• _timer_channel_num_callbacks() : timer.c
• _timer_each_callback_channel() : timer.c
• _timer_hw_callback() : timer.c
• _trap_dump_bregs() : trap.c
• _vgic_dump_regs() : vgic.c
• _vgic_dump_status() : vgic.c
• _vgic_isr_maintenance_irq() : vgic.c
• _vgic_valid_lr_mask() : vgic.c