ds_interrupt_threshold  443 arch/x86/kernel/ds.c 		       ds_interrupt_threshold, buffer + size + 1);
ds_interrupt_threshold  653 arch/x86/kernel/ds.c 		int_th = ds_get(context->ds, qual, ds_interrupt_threshold);