Searched refs:int_level (Results 1 – 1 of 1) sorted by relevance
1520 send_dirint(int cpuid, int int_level) in send_dirint() argument1522 (*send_dirintf)(cpuid, int_level); in send_dirint()