/* We don't have sanity checking for nptcg value. It's the user's responsibility for valid nptcg value on the platform. Otherwise, kernel may hang in some cases.  */
static int __init set_nptcg(char *str)
/* We don't have sanity checking for nptcg value. It's the user's responsibility for valid nptcg value on the platform. Otherwise, kernel may hang in some cases.  */
static int __init set_nptcg(char *str)
{
	int value = 0;
	get_option(&str, &value);
	setup_ptcg_sem(value, NPTCG_FROM_KERNEL_PARAMETER);
	return 1;
}