VMCI_LOG_INFO
VMCI_LOG_INFO(LGPFX"Ignoring unknown interrupt "
VMCI_LOG_INFO(LGPFX"dispatch_datagrams(): no buffer "
VMCI_LOG_INFO(LGPFX"process_bitmaps(): no bitmap present");
VMCI_LOG_INFO(LGPFX"Updating context from (ID=0x%x) to (ID=0x%x) on "