GASKET_SIMPLE_PAGE_SHIFT  545 drivers/staging/gasket/gasket_page_table.c 	return (dev_addr >> GASKET_SIMPLE_PAGE_SHIFT) &
GASKET_SIMPLE_PAGE_SHIFT  695 drivers/staging/gasket/gasket_page_table.c 	ulong dev_addr = (page_index << GASKET_SIMPLE_PAGE_SHIFT) | offset;