num_ptr            80 drivers/media/usb/pvrusb2/pvrusb2-debugifc.c 					  u32 *num_ptr)
num_ptr           100 drivers/media/usb/pvrusb2/pvrusb2-debugifc.c 	*num_ptr = result;