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