idc_recv_header Union Reference

IDC receiver-side header. More...

Detailed Description

IDC receiver-side header.

---

The documentation for this union was generated from the following file:

• include/barrelfish_kpi/legacy_idc_buffer.h