• Align : mm.c
• fl_bheader : mm.c
• generic_timer_callback_t : generic_timer.h
• gic_irq_handler_t : gic.h
• int32_t : arch_types.h
• timer_callback_t : timer.h
• uint16_t : arch_types.h
• uint32_t : arch_types.h
• uint64_t : arch_types.h
• uint8_t : arch_types.h
• vdev_callback_t : vdev.h
• vgicd_changed_istatus_callback_t : vdev_gicd.h
• vmid_t : hvmm_types.h
• vtimer_changed_status_callback_t : vdev_timer.h