1 typedef unsigned uint32_t;
2 typedef unsigned char uint8_t;
3 typedef unsigned short uint16_t;
4 typedef struct {
5  uint32_t mbxOwner:1;
6  uint32_t mbxHc:1;
7  uint32_t mbxReserved:6;
8  uint32_t mbxCommand : 8;
9  uint32_t mbxStatus : 16;
10 } MAILBOX_t;
f(void)11 uint32_t f(void) {
12        uint32_t mbox;
13  mbox = 0;
14  ((MAILBOX_t *)&mbox)->mbxCommand = 0x24;
15  ((MAILBOX_t *)&mbox)->mbxOwner = 1;
16 return mbox;
17 }
18