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