HelenOS sources

instruction_t      92 kernel/arch/arm32/include/arch/mm/page_fault.h 	instruction_t *instr;
instruction_t     143 kernel/arch/arm32/src/mm/page_fault.c 	instruction_t instr = *(instr_union.instr);