Searched refs:read_or_write (Results 1 – 1 of 1) sorted by relevance
1454 char *read_or_write; in log_bad_page_fault() local1469 read_or_write = "write"; in log_bad_page_fault()1474 read_or_write = "read"; in log_bad_page_fault()1477 read_or_write = "unknown"; in log_bad_page_fault()1486 read_or_write, in log_bad_page_fault()