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