/branches/arm/kernel/arch/arm32/src/mm/page_fault.c |
---|
132,7 → 132,7 |
* @param instr_addr Address of instruction which tries to access memory. |
* @param badvaddr Virtual address the instruction tries to access. |
* |
* @return Type of access into memmory, #PF_ACCESS_EXEC if no memory access is requested. |
* @return Type of access into memory, PF_ACCESS_EXEC if no memory access is requested. |
*/ |
static pf_access_t get_memory_access_type(uint32_t instr_addr, uintptr_t badvaddr) |
{ |