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