Searched refs:vgic_its_save_dte (Results 1 - 2 of 2) sorted by relevance
/kernel/linux/linux-5.10/arch/arm64/kvm/vgic/ |
H A D | vgic-its.c | 2269 * vgic_its_save_dte - Save a device table entry at a given GPA 2275 static int vgic_its_save_dte(struct vgic_its *its, struct its_device *dev, in vgic_its_save_dte() function 2383 ret = vgic_its_save_dte(its, dev, eaddr, dte_esz); in vgic_its_save_device_tables()
|
/kernel/linux/linux-6.6/arch/arm64/kvm/vgic/ |
H A D | vgic-its.c | 2351 * vgic_its_save_dte - Save a device table entry at a given GPA 2357 static int vgic_its_save_dte(struct vgic_its *its, struct its_device *dev, in vgic_its_save_dte() function 2469 ret = vgic_its_save_dte(its, dev, eaddr, dte_esz); in vgic_its_save_device_tables()
|
Completed in 8 milliseconds