Searched refs:mark_read (Results 1 – 1 of 1) sorted by relevance
456 static inline void mark_read(int sr) in mark_read() function498 mark_read(sr); in read_sr()646 mark_read(addr); in handle_exception()