privcmd_dm_op_max_num   50 drivers/xen/privcmd.c static unsigned int privcmd_dm_op_max_num = 16;
privcmd_dm_op_max_num   51 drivers/xen/privcmd.c module_param_named(dm_op_max_nr_bufs, privcmd_dm_op_max_num, uint, 0644);
privcmd_dm_op_max_num  646 drivers/xen/privcmd.c 	if (kdata.num > privcmd_dm_op_max_num)