Searched refs:PCI_CHANNEL_SIZE (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/lib/pci/
H A Dpci_driver_client.c12 const int PCI_CHANNEL_SIZE = 2048; variable
37 fi->outbufsize = PCI_CHANNEL_SIZE;
38 fi->inbufsize = PCI_CHANNEL_SIZE;
41 fi->inbuf = msg_buf + PCI_CHANNEL_SIZE;
44 fi->sendbase = (lpaddr_t)msg_buf + PCI_CHANNEL_SIZE;
46 fi->outbuf = msg_buf + PCI_CHANNEL_SIZE;
/barrelfish-2018-10-04/usr/kaluga/
H A Dstart_pci.c116 const int PCI_CHANNEL_SIZE = 2048; variable
137 .sendbase = (lpaddr_t)msg_buf + PCI_CHANNEL_SIZE,
139 .inbufsize = PCI_CHANNEL_SIZE,
140 .outbuf = ((uint8_t *) msg_buf) + PCI_CHANNEL_SIZE,
141 .outbufsize = PCI_CHANNEL_SIZE
152 //err = frame_alloc(out_frame, 2 * PCI_CHANNEL_SIZE, &msg_frame_size);
153 err = frame_create(out_frame, 2 * PCI_CHANNEL_SIZE, &msg_frame_size);

Completed in 47 milliseconds