Searched refs:vgic_its_restore_dte (Results 1 – 1 of 1) sorted by relevance
2267 static int vgic_its_restore_dte(struct vgic_its *its, u32 id, in vgic_its_restore_dte() function2388 l2_start_id, vgic_its_restore_dte, NULL); in handle_l1_dte()2417 vgic_its_restore_dte, NULL); in vgic_its_restore_device_tables()