• complex_condition_check : emulate-nested.c
• entry_fn_t : vgic-its.c
• exit_handle_fn : handle_exit.c
• exit_handler_fn : switch.h
• hcall_t : hyp-main.c
• hyp_spinlock_t : spinlock.h