max_hmcs 2413 drivers/misc/ibmvmc.c module_param_named(max_hmcs, ibmvmc_max_hmcs, int, 0644); max_hmcs 2414 drivers/misc/ibmvmc.c MODULE_PARM_DESC(max_hmcs, "Max HMCs");