34 static inline int ntfs_is_top(ntfs_u64 stack)  in ntfs_is_top()  argument
36 	return stack == 14;  in ntfs_is_top()
39 static int ntfs_pop(ntfs_u64 *stack)  in ntfs_pop()  argument
44 	switch (width[*stack & 15]) {  in ntfs_pop()
46 		res = (int)((*stack & 15) >> 1);  in ntfs_pop()
47 		*stack >>= 4;  in ntfs_pop()
50 		res = (int)(((*stack & 63) >> 2) + 7);  in ntfs_pop()
51 		*stack >>= 6;  in ntfs_pop()
54 		res = (int)(((*stack & 255) >> 3) + 23);  in ntfs_pop()
55 		*stack >>= 8;  in ntfs_pop()
58 		res = (int)(((*stack & 1023) >> 4) + 55);  in ntfs_pop()
59 		*stack >>= 10;  in ntfs_pop()
72 static ntfs_u64 ntfs_push(ntfs_u64 stack, int i)  in ntfs_push()  argument
75 		return (stack << 4) | (i << 1);  in ntfs_push()
77 		return (stack << 6) | ((i - 7) << 2) | 1;  in ntfs_push()
79 		return (stack << 8) | ((i - 23) << 3) | 3;  in ntfs_push()
81 		return (stack << 10) | ((i - 55) << 4) | 7;  in ntfs_push()
87 static void ntfs_display_stack(ntfs_u64 stack)
89 	while(!ntfs_is_top(stack))
91 		printf("%d ", ntfs_pop(&stack));