a problem(?) in scheduler

[circl0]

in function get_top_thread (kernel/thread.c)

`uint next_queue = HIGHEST_PRIORITY - __builtin_clz(local_run_queue_bitmap)

• (sizeof(run_queue_bitmap) * 8 - NUM_PRIORITIES);`

if NUM_PRIORITIES is less than 32, the result will be wrong?

Regards, Allen Y.