idc_send_header Union Reference

IDC sender-side header. More...

Detailed Description

IDC sender-side header.

---

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

• include/barrelfish_kpi/legacy_idc_buffer.h