Searched refs:ptr_priority (Results 1 – 1 of 1) sorted by relevance
49 int ptr_priority; member101 if (pri > console.ptr_priority) { in console_ptr_register()104 console.ptr_priority = pri; in console_ptr_register()