HelenOS sources

DW_DSC_range      688 kernel/generic/src/debug/names.c 	ENTRY(DW_DSC_range),
DW_DSC_range      691 kernel/generic/src/debug/names.c _Static_assert(DW_DSC_MAX == DW_DSC_range + 1);
HelenOS homepage, sources at GitHub