// IPC Disconnect void ipc_disconnect () { esif_ipc_disconnect(g_ipc_handle); g_ipc_handle = ESIF_INVALID_HANDLE; ESIF_TRACE_DEBUG("ESIF IPC Kernel Device Closed\n"); }
// IPC Disconnect void ipc_disconnect() { ESIF_TRACE_ENTRY_INFO(); if (g_ipc_handle != ESIF_INVALID_HANDLE) { esif_ipc_disconnect(g_ipc_handle); g_ipc_handle = ESIF_INVALID_HANDLE; ESIF_TRACE_DEBUG("ESIF IPC Kernel Device Closed\n"); } ESIF_TRACE_EXIT_INFO(); }