gasket_set_user_virt 1006 drivers/staging/gasket/gasket_core.c 	gasket_set_user_virt(gasket_dev, requested_length,
gasket_set_user_virt  246 drivers/staging/gasket/gasket_page_table.h int gasket_set_user_virt(struct gasket_dev *gasket_dev, uint64_t size,