/* the head for the list of ITTEs */
        struct list_head itt_head;
        u32 num_eventid_bits;
+       gpa_t itt_addr;
        u32 device_id;
 };
 
 #define its_cmd_get_id(cmd)            its_cmd_mask_field(cmd, 1,  0, 32)
 #define its_cmd_get_physical_id(cmd)   its_cmd_mask_field(cmd, 1, 32, 32)
 #define its_cmd_get_collection(cmd)    its_cmd_mask_field(cmd, 2,  0, 16)
+#define its_cmd_get_ittaddr(cmd)       (its_cmd_mask_field(cmd, 2,  8, 44) << 8)
 #define its_cmd_get_target_addr(cmd)   its_cmd_mask_field(cmd, 2, 16, 32)
 #define its_cmd_get_validbit(cmd)      its_cmd_mask_field(cmd, 2, 63,  1)
 
        u32 device_id = its_cmd_get_deviceid(its_cmd);
        bool valid = its_cmd_get_validbit(its_cmd);
        u8 num_eventid_bits = its_cmd_get_size(its_cmd);
+       gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);
        struct its_device *device;
 
        if (!vgic_its_check_id(its, its->baser_device_table, device_id))
 
        device->device_id = device_id;
        device->num_eventid_bits = num_eventid_bits;
+       device->itt_addr = itt_addr;
 
        INIT_LIST_HEAD(&device->itt_head);