GASKET_EXTENDED_LVL0_SHIFT  556 drivers/staging/gasket/gasket_page_table.c 	return (dev_addr >> GASKET_EXTENDED_LVL0_SHIFT) &
GASKET_EXTENDED_LVL0_SHIFT  756 drivers/staging/gasket/gasket_page_table.c 	if (addr >> (GASKET_EXTENDED_LVL0_WIDTH + GASKET_EXTENDED_LVL0_SHIFT)) {