Searched refs:l2_start_id (Results 1 - 1 of 1) sorted by relevance
| /linux-master/arch/arm64/kvm/vgic/ | ||
| H A D | vgic-its.c | 2514 int l2_start_id = id * (SZ_64K / abi->dte_esz); local 2528 l2_start_id, vgic_its_restore_dte, NULL); |
Completed in 107 milliseconds