mirror of
https://github.com/projectacrn/acrn-hypervisor.git
synced 2025-11-17 07:04:10 +00:00
send_single_ipi/send_dest_ipi_mask are calling sbi_send_ipi. According to SBI spec: - uint64_t hart_mask is a scalar bit-vector containing hartids - uint64_t hart_mask_base is the starting hartid from which the bit-vector must be computed Logical pCPU ID and pCPU ID mask need to be converted to physical hart ID mask and physical hart ID base. Tracked-On: #8811 Signed-off-by: Jian Jun Chen <jian.jun.chen@intel.com> Acked-by: Wang, Yu1 <yu1.wang@intel.com>