VMCI_MAX_DG_SIZE
static uint32_t data_buffer_size = VMCI_MAX_DG_SIZE;
(VMCI_MAX_DG_SIZE - sizeof(struct vmci_datagram))
if (VMCI_DG_SIZE(dg) > VMCI_MAX_DG_SIZE) {