//=====================================================================
static inline void HvCall_sendIPI(struct paca_struct * targetPaca)
{
//=====================================================================
static inline void HvCall_sendIPI(struct paca_struct * targetPaca)
{