Searched refs:vgic_its_save_dte (Results 1 - 1 of 1) sorted by relevance

/linux-master/arch/arm64/kvm/vgic/
H A Dvgic-its.c2373 * vgic_its_save_dte - Save a device table entry at a given GPA
2379 static int vgic_its_save_dte(struct vgic_its *its, struct its_device *dev, function
2491 ret = vgic_its_save_dte(its, dev, eaddr, dte_esz);

Completed in 140 milliseconds