vmc_index          94 drivers/misc/ibmvmc.c static inline long h_request_vmc(u32 *vmc_index)
vmc_index         106 drivers/misc/ibmvmc.c 		*vmc_index = retbuf[0];