| typedef unsigned uint32_t; | |
| typedef unsigned char uint8_t; | |
| typedef unsigned short uint16_t; | |
| typedef struct { | |
| uint32_t mbxOwner:1; | |
| uint32_t mbxHc:1; | |
| uint32_t mbxReserved:6; | |
| uint32_t mbxCommand : 8; | |
| uint32_t mbxStatus : 16; | |
| } MAILBOX_t; | |
| uint32_t f(void) { | |
| uint32_t mbox; | |
| mbox = 0; | |
| ((MAILBOX_t *)&mbox)->mbxCommand = 0x24; | |
| ((MAILBOX_t *)&mbox)->mbxOwner = 1; | |
| return mbox; | |
| } |