Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2361 → Rev 2362

/branches/arm/kernel/arch/arm32/src/mm/page_fault.c
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)
{