TLB_MESSAGE_QUEUE_LEN 89 kernel/generic/include/cpu.h tlb_shootdown_msg_t tlb_messages[TLB_MESSAGE_QUEUE_LEN]; TLB_MESSAGE_QUEUE_LEN 98 kernel/generic/src/mm/tlb.c if (cpu->tlb_messages_count == TLB_MESSAGE_QUEUE_LEN) { TLB_MESSAGE_QUEUE_LEN 161 kernel/generic/src/mm/tlb.c assert(CPU->tlb_messages_count <= TLB_MESSAGE_QUEUE_LEN);HelenOS homepage, sources at GitHub