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