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