/branches/arm/kernel/arch/arm32/include/mm/page_fault.h |
---|
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 |