Home
last modified time | relevance | path

Searched refs:icr_high (Results 1 – 2 of 2) sorted by relevance

/xen-4.10.0-shim-comet/xen/include/asm-x86/hvm/
A Dvlapic.h136 void vlapic_ipi(struct vlapic *vlapic, uint32_t icr_low, uint32_t icr_high);
/xen-4.10.0-shim-comet/xen/arch/x86/hvm/
A Dvlapic.c464 struct vlapic *vlapic, uint32_t icr_low, uint32_t icr_high) in vlapic_ipi() argument
470 HVM_DBG_LOG(DBG_LEVEL_VLAPIC, "icr = 0x%08x:%08x", icr_high, icr_low); in vlapic_ipi()
472 dest = _VLAPIC_ID(vlapic, icr_high); in vlapic_ipi()

Completed in 5 milliseconds