Searched refs:vgic_its_save_dte (Results 1 – 1 of 1) sorted by relevance
2347 static int vgic_its_save_dte(struct vgic_its *its, struct its_device *dev, in vgic_its_save_dte() function2459 ret = vgic_its_save_dte(its, dev, eaddr, dte_esz); in vgic_its_save_device_tables()
