mask_right       2034 drivers/misc/altera-stapl/altera.c 				s32 mask_right = stack[--stack_ptr];
mask_right       2042 drivers/misc/altera-stapl/altera.c 				b = 1 + mask_left - mask_right;
mask_right       2047 drivers/misc/altera-stapl/altera.c 				mask_index = mask_right;