Searched refs:read_from_addr (Results 1 – 1 of 1) sorted by relevance
265 char read_from_addr = 0; /* address to which read from page is done */ in thread_fault() local285 ((int)local_args[3] == READ_FAULT) ? (read_from_addr = in thread_fault()