Searched refs:default_ppi (Results 1 – 1 of 1) sorted by relevance
34 static const u8 default_ppi[] = { variable1031 kvm->arch.timer_data.ppi[i] = default_ppi[i]; in kvm_timer_init_vm()