- g -

• GENERIC_TIMER_HYP : generic_timer.h
• GENERIC_TIMER_NSP : generic_timer.h
• GENERIC_TIMER_NUM_TYPES : generic_timer.h
• GENERIC_TIMER_REG_FREQ : generic_timer_regs.h
• GENERIC_TIMER_REG_HCTL : generic_timer_regs.h
• GENERIC_TIMER_REG_HYP_CTRL : generic_timer_regs.h
• GENERIC_TIMER_REG_HYP_CVAL : generic_timer_regs.h
• GENERIC_TIMER_REG_HYP_TVAL : generic_timer_regs.h
• GENERIC_TIMER_REG_KCTL : generic_timer_regs.h
• GENERIC_TIMER_REG_PHYS_CTRL : generic_timer_regs.h
• GENERIC_TIMER_REG_PHYS_CVAL : generic_timer_regs.h
• GENERIC_TIMER_REG_PHYS_TVAL : generic_timer_regs.h
• GENERIC_TIMER_REG_VIRT_CTRL : generic_timer_regs.h
• GENERIC_TIMER_REG_VIRT_CVAL : generic_timer_regs.h
• GENERIC_TIMER_REG_VIRT_OFF : generic_timer_regs.h
• GENERIC_TIMER_REG_VIRT_TVAL : generic_timer_regs.h
• GENERIC_TIMER_VIR : generic_timer.h
• GIC_INT_POLARITY_EDGE : gic.h
• GIC_INT_POLARITY_LEVEL : gic.h

- h -

• HVMM_STATUS_BAD_ACCESS : hvmm_types.h
• HVMM_STATUS_BUSY : hvmm_types.h
• HVMM_STATUS_IGNORED : hvmm_types.h
• HVMM_STATUS_NOT_FOUND : hvmm_types.h
• HVMM_STATUS_SUCCESS : hvmm_types.h
• HVMM_STATUS_UNKNOWN_ERROR : hvmm_types.h
• HVMM_STATUS_UNSUPPORTED_FEATURE : hvmm_types.h
• HYP_RESULT_ERET : context.h
• HYP_RESULT_STAY : context.h

- l -

• LPAED_STAGE2_MEMATTR_DM : lpae.h
• LPAED_STAGE2_MEMATTR_NORMAL_INC : lpae.h
• LPAED_STAGE2_MEMATTR_NORMAL_IWB : lpae.h
• LPAED_STAGE2_MEMATTR_NORMAL_IWT : lpae.h
• LPAED_STAGE2_MEMATTR_NORMAL_ONC : lpae.h
• LPAED_STAGE2_MEMATTR_NORMAL_OWB : lpae.h
• LPAED_STAGE2_MEMATTR_NORMAL_OWT : lpae.h
• LPAED_STAGE2_MEMATTR_SO : lpae.h

- t -

• TIMER_NUM_MAX_CHANNELS : timer.h
• timer_sched : timer.h

- v -

• VDEV_ACCESS_BYTE : vdev.h
• VDEV_ACCESS_HWORD : vdev.h
• VDEV_ACCESS_RESERVED : vdev.h
• VDEV_ACCESS_WORD : vdev.h
• VIRQ_STATE_ACTIVE : vgic.h
• VIRQ_STATE_INACTIVE : vgic.h
• VIRQ_STATE_PENDING : vgic.h
• VIRQ_STATE_PENDING_ACTIVE : vgic.h