Searched defs:tskv (Results 1 – 1 of 1) sorted by relevance
3305 unsigned long tskv = 0; in show_pte() local3400 unsigned long tskv; in show_tasks() local