Searched refs:write_to_addr (Results 1 – 1 of 1) sorted by relevance
204 char write_to_addr[] = { 'a' }; /* character to be writen to the page */ in thread_fault() local224 : (*start_addr = write_to_addr[0]); in thread_fault()