Symbol: get_priority
headers/private/kernel/timer.h
32
int (*get_priority)(void);
src/bin/logger.cpp
154
priority = get_priority(optarg);
src/system/kernel/arch/x86/arch_timer.cpp
76
if (timers[j]->get_priority() > timers[max]->get_priority())
src/system/kernel/arch/x86/arch_timer.cpp
88
dprintf(" %s: priority %d\n", timers[i]->name, timers[i]->get_priority());
src/system/kernel/device_manager/legacy_drivers.cpp
588
int32 priority = get_priority(path);
src/system/kernel/device_manager/legacy_drivers.cpp
731
else if (get_priority(event->path) >= driver->priority)
src/system/kernel/device_manager/legacy_drivers.cpp
745
&& get_priority(event->path) >= driver->priority)