Searched defs:icrh (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()490 u32 icrh = svm->vmcb->control.exit_info_1 >> 32; in avic_incomplete_ipi_interception() local