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