Symbol: vmci_signal_event