l2_start_id      2390 virt/kvm/arm/vgic/vgic-its.c 	int l2_start_id = id * (SZ_64K / abi->dte_esz);
l2_start_id      2404 virt/kvm/arm/vgic/vgic-its.c 			     l2_start_id, vgic_its_restore_dte, NULL);