Searched refs:l2_start_id (Results 1 – 1 of 1) sorted by relevance
2463 int l2_start_id = id * (SZ_64K / abi->dte_esz); in handle_l1_dte() local2477 l2_start_id, vgic_its_restore_dte, NULL); in handle_l1_dte()