• generic_timer_type_t : generic_timer.h
• gic_int_polarity_t : gic.h
• hvmm_status_t : hvmm_types.h
• hyp_hvc_result_t : context.h
• lpaed_stage2_memattr_t : lpae.h
• timer_channel_t : timer.h
• vdev_access_size_t : vdev.h
• virq_state_t : vgic.h