vgic_its_restore_dte 2404 virt/kvm/arm/vgic/vgic-its.c 			     l2_start_id, vgic_its_restore_dte, NULL);
vgic_its_restore_dte 2433 virt/kvm/arm/vgic/vgic-its.c 				     vgic_its_restore_dte, NULL);