- _ -

• __attribute : context.h
• __mon_enter_hyp : monitor_secure.S
• _callback : generic_timer.c
• _cb_changed_istatus : vdev_gicd.c
• _cb_virq_flush : vgic.c
• _channels : timer.c
• _current_guest_vmid : context.c
• _gic : gic.c
• _guest_pirqatslot : slotpirq.c
• _guest_virqatslot : slotpirq.c
• _guest_virqs : virq.c
• _handler_map : vdev_gicd.c
• _next_guest_vmid : context.c
• _params : loadlinux.c
• _regs : vdev_gicd.c
• _switch_locked : context.c
• _timer_irqs : generic_timer.c
• _trap_hyp_saved_regs : trap.c
• _tvals : generic_timer.c
• _vdev_info : vdev_gicd.c , vdev_timer.c , vdev_sample.c
• _vgic : vgic.c
• _virqmap : virqmap.c
• _vmid_ttbl : vmm.c
• _write_status : vdev_timer.c

- b -

• back : monitor_secure.S

- c -

• c0 : monitor_secure.S
• c1 : monitor_secure.S
• c12 : monitor_secure.S
• cpsr : context.h

- e -

• elr_hyp : monitor.S

- f -

• freep : mm.c
• freep_base : mm.c

- g -

• gpr : context.h
• guest2_bin_start : vmm.c
• guest_bin_start : vmm.c
• guest_contexts : context.c
• guest_device_md0 : vmm.c
• guest_device_md1 : vmm.c
• guest_md_empty : vmm.c
• guest_mdlist0 : vmm.c
• guest_mdlist1 : vmm.c
• guest_memory_md0 : vmm.c
• guest_memory_md1 : vmm.c

- l -

• last_valid_address : mm.c
• lr : context.h

- m -

• mm_break : mm.c
• mm_prev_break : mm.c
• monitor_hyp_vectors : monitor.S
• monitor_secure_vectors : monitor_secure.S

- o -

• old_vgicd_status : virqmap.c

- p -

• p15 : monitor_secure.S
• pc : monitor_secure.S , monitor.S , context.h

- r -

• r0 : monitor.S , monitor_secure.S
• r1 : monitor_secure.S , monitor.S
• r10 : monitor_secure.S
• r11 : monitor_secure.S
• regs : vdev_timer.c , vdev_sample.c
• return : monitor.S

- s -

• spsr_hyp : monitor.S

- t -

• trap_dabt : monitor.S
• trap_hyp_entry : monitor_secure.S
• trap_secure_unhandled : monitor_secure.S

- v -

• vdev_list : vdev.c