<dec f='src/src/sys/arch/x86/include/intr_distribute.h' l='37' type='int intr_distribute_handler(const char * , const kcpuset_t * , kcpuset_t * )'/>
