/* header auto-generated by pidl */ #include <stdint.h> #ifndef _HEADER_messaging #define _HEADER_messaging struct messaging_rec { uint32_t msg_version; uint32_t msg_type; struct server_id dest; struct server_id src; DATA_BLOB buf; }/* [public] */; struct messaging_array { uint32_t num_messages; struct messaging_rec *messages; }/* [public] */; #endif /* _HEADER_messaging */