Searched defs:icrh (Results 1 – 2 of 2) 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
70 uint8_t icrh; member