VMM signaling interrupts were not reaching MigTD

[jyao1]

VMCALL_VECTOR (0x52) callback is not getting registered for send/receive in concurrent (async_multiple_session as well as Main) branch; send/receive were still working because of the reply.status() check in poll_fn that the VMM code updates; VMM signaling interrupts were not reaching MigTD.

[jyao1]

Hi @mjjagasi, would you please add more detail?

[jyao1]

Hi @mjjagasi, are you still seeing the failure?

[mjjagasi]

Hi @mjjagasi, are you still seeing the failure?

Hi @jyao1 , this issue has been fixed