Searched refs:its_cmd_get_deviceid (Results 1 – 1 of 1) sorted by relevance
684 #define its_cmd_get_deviceid(cmd) its_cmd_mask_field(cmd, 0, 32, 32) macro700 u32 device_id = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_discard()726 u32 device_id = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_movi()899 u32 device_id = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_mapi()1020 u32 device_id = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_mapd()1103 u32 device_id = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_clear()1128 u32 device_id = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_inv()1236 u64 msi_devid = its_cmd_get_deviceid(its_cmd); in vgic_its_cmd_handle_int()
