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