xref: /seL4-refos-master/libs/libmuslc/src/signal/sigrtmin.c

int __libc_current_sigrtmin()
{
	return 35;
}