Lines Matching refs:fault_t
15 typedef struct fault fault_t;
67 typedef struct fault fault_t;
76 fault_t *fault_init(vm_vcpu_t *vcpu);
85 int new_vcpu_fault(fault_t *fault, uint32_t hsr);
94 int new_memory_fault(fault_t *fault);
103 int abandon_fault(fault_t *fault);
113 int restart_fault(fault_t *fault);
123 int ignore_fault(fault_t *fault);
134 int advance_fault(fault_t *fault);
147 seL4_Word fault_emulate(fault_t *fault, seL4_Word data);
155 int fault_handled(fault_t *fault);
166 seL4_Word fault_get_data(fault_t *fault);
174 void fault_set_data(fault_t *fault, seL4_Word data);
183 seL4_Word fault_get_data_mask(fault_t *fault);
190 seL4_Word fault_get_address(fault_t *fault);
198 enum fault_width fault_get_width(fault_t *f);
206 size_t fault_get_width_size(fault_t *f);
213 seL4_UserContext *fault_get_ctx(fault_t *fault);
220 void fault_set_ctx(fault_t *f, seL4_UserContext *ctx);
228 seL4_Word fault_get_fsr(fault_t *fault);
235 int fault_is_prefetch(fault_t *fault);
242 int fault_is_wfi(fault_t *fault);
249 int fault_is_vcpu(fault_t *f);
256 int fault_is_32bit_instruction(fault_t *f);
262 static inline int fault_is_16bit_instruction(fault_t *f)
267 static inline int fault_is_data(fault_t *f)
272 static inline int fault_is_write(fault_t *f)
277 static inline int fault_is_read(fault_t *f)
282 static inline seL4_Word fault_get_addr_word(fault_t *f)
288 int decode_vcpu_reg(int rt, fault_t *f);
289 void fault_print_data(fault_t *fault);
290 bool fault_is_thumb(fault_t *f);
300 void print_fault(fault_t *fault);