45,7 → 45,7 |
unsigned domain : 4; |
unsigned zero : 1; |
unsigned should_be_zero : 24; |
} __attribute__ ((packed)) fault_status_t; |
} ATTRIBUTE_PACKED fault_status_t; |
|
|
/** Help union used for casting integer value into #fault_status_t. */ |
69,7 → 69,7 |
unsigned opcode : 4; |
unsigned type : 3; |
unsigned condition : 4; |
} __attribute__ ((packed)) instruction_t; |
} ATTRIBUTE_PACKED instruction_t; |
|
|
/** Help union used for casting pc register (uint_32_t) value into |
76,7 → 76,7 |
* #instruction_t pointer. |
*/ |
typedef union { |
instruction_t* instr; |
instruction_t *instr; |
uint32_t pc; |
} instruction_union_t; |
|