- i -

• ID_DESC : sys_regs.c
• ID_HIDDEN : sys_regs.c
• ID_REG_LIMIT_FIELD_ENUM : sys_regs.c
• ID_SANITISED : sys_regs.c
• ID_UNALLOCATED : sys_regs.c
• ID_WRITABLE : sys_regs.c
• idx2vmid : vmid.c
• IMPLEMENTER_ARM : vgic.h
• init_psci_0_1_impl_state : arm.c
• INITIAL_BASER_VALUE : vgic-its.c
• INITIAL_PENDBASER_VALUE : vgic-v3.c
• INITIAL_PROPBASER_VALUE : vgic-its.c
• INTERRUPT_ID_BITS_ITS : vgic.h
• INTERRUPT_ID_BITS_SPIS : vgic.h
• INVALID_CPU_ID : psci-relay.c
• irq_is_ppi : arm_vgic.h
• irq_is_spi : arm_vgic.h
• irqchip_in_kernel : arm_vgic.h
• is_psci_0_1 : psci-relay.c
• IS_VGIC_ADDR_UNDEF : vgic.h
• ITOA_MAX_LEN : kvm_main.c
• ITS_CMD_BUFFER_SIZE : vgic-its.c
• its_cmd_get_collection : vgic-its.c
• its_cmd_get_command : vgic-its.c
• its_cmd_get_deviceid : vgic-its.c
• its_cmd_get_id : vgic-its.c
• its_cmd_get_ittaddr : vgic-its.c
• its_cmd_get_physical_id : vgic-its.c
• its_cmd_get_size : vgic-its.c
• its_cmd_get_target_addr : vgic-its.c
• its_cmd_get_validbit : vgic-its.c
• ITS_CMD_OFFSET : vgic-its.c
• ITS_CMD_SIZE : vgic-its.c
• its_is_collection_mapped : vgic-its.c