Searched refs:vgic_its_restore_dte (Results 1 - 2 of 2) sorted by relevance
| /kernel/linux/linux-5.10/arch/arm64/kvm/vgic/ |
| H A D | vgic-its.c | 2293 * vgic_its_restore_dte - restore a device table entry
2303 static int vgic_its_restore_dte(struct vgic_its *its, u32 id, in vgic_its_restore_dte() function
2420 l2_start_id, vgic_its_restore_dte, NULL); in handle_l1_dte()
2449 vgic_its_restore_dte, NULL); in vgic_its_restore_device_tables()
|
| /kernel/linux/linux-6.6/arch/arm64/kvm/vgic/ |
| H A D | vgic-its.c | 2375 * vgic_its_restore_dte - restore a device table entry
2385 static int vgic_its_restore_dte(struct vgic_its *its, u32 id, in vgic_its_restore_dte() function
2506 l2_start_id, vgic_its_restore_dte, NULL); in handle_l1_dte()
2535 vgic_its_restore_dte, NULL); in vgic_its_restore_device_tables()
|
Completed in 10 milliseconds