Searched defs:icrl (Results 1 – 1 of 1) sorted by relevance
347 u32 icrl, u32 icrh, u32 index) in avic_kick_target_vcpus_fast()452 u32 icrl, u32 icrh, u32 index) in avic_kick_target_vcpus()491 u32 icrl = svm->vmcb->control.exit_info_1; in avic_incomplete_ipi_interception() local