44,7 → 44,7 |
/** Returns value stored in fault status register. |
* FSR contain reason of page fault |
* |
* \return Value stored in CP15 fault status register (FSR). |
* @return Value stored in CP15 fault status register (FSR). |
*/ |
static inline fault_status_t read_fault_status_register(void) |
{ |
61,7 → 61,7 |
|
/** Returns FAR (fault address register) content. |
* |
* \return FAR (fault address register) content (address that caused a page fault) |
* @return FAR (fault address register) content (address that caused a page fault) |
*/ |
static inline uintptr_t read_fault_address_register(void) |
{ |
78,9 → 78,9 |
|
/** Decides whether the instructions is load/store or not. |
* |
* \param instr Instruction |
* @param instr Instruction |
* |
* \return true when instruction is load/store, false otherwise |
* @return true when instruction is load/store, false otherwise |
*/ |
static inline bool is_load_store_instruction(instruction_t instr) |
{ |
110,9 → 110,9 |
|
/** Decides whether the instructions is swap or not. |
* |
* \param instr Instruction |
* @param instr Instruction |
* |
* \return true when instruction is swap, false otherwise |
* @return true when instruction is swap, false otherwise |
*/ |
static inline bool is_swap_instruction(instruction_t instr) |
{ |
129,11 → 129,11 |
|
/** Decides whether read or write into memory is requested. |
* |
* \param instr_addr Address of instruction which tries to access memory |
* \param badvaddr Virtual address the instruction tries to access |
* @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 |
* \note Returns #PF_ACCESS_EXEC if no memory access is requested |
* @return Type of access into memmory |
* 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) |
{ |
195,8 → 195,8 |
|
/** Handles "data abort" exception (load or store at invalid address). |
* |
* \param exc_no exception number |
* \param istate CPU state when exception occured |
* @param exc_no exception number |
* @param istate CPU state when exception occured |
*/ |
void data_abort(int exc_no, istate_t *istate) |
{ |
219,8 → 219,8 |
|
/** Handles "prefetch abort" exception (instruction couldn't be executed). |
* |
* \param exc_no exception number |
* \param istate CPU state when exception occured |
* @param exc_no exception number |
* @param istate CPU state when exception occured |
*/ |
void prefetch_abort(int exc_no, istate_t *istate) |
{ |