diff --git a/userprog/populate_stack.c b/userprog/populate_stack.c index 2ac46526c03083a930291c596a521eb5ecc81dc4..d82e18fb72b85a3ac7546f23e393812534d1f83a 100644 --- a/userprog/populate_stack.c +++ b/userprog/populate_stack.c @@ -29,27 +29,27 @@ void populate_stack(void** stack_pointer, int argc, char** argv) { memcpy(*stack_pointer, argv[i], strlen(argv[i]) + 1); } - move_stack_pointer(*stack_pointer, -4); //Moves the stack pointer back 4 + move_stack_pointer(stack_pointer, -4); //Moves the stack pointer back 4 (*(int *)(*stack_pointer)) = 0;//sentinel i = argc; while (--i >= 0) { - move_stack_pointer(*stack_pointer, -4); //32bit Moves the stack pointer back 4 + move_stack_pointer(stack_pointer, -4); //32bit Moves the stack pointer back 4 (*(uint32_t **)(*stack_pointer)) = arr[i]; } - move_stack_pointer(*stack_pointer, -4); - move_stack_pointer(*stack_pointer, 4); //Moves the stack pointer forwards 4 + move_stack_pointer(stack_pointer, -4); + move_stack_pointer(stack_pointer, 4); //Moves the stack pointer forwards 4 // TODO: Test if still required in later version (*(uintptr_t **)(*stack_pointer)) = *stack_pointer; - move_stack_pointer(*stack_pointer, -4); //Moves the stack pointer back 4 + move_stack_pointer(stack_pointer, -4); //Moves the stack pointer back 4 *(int *)(*stack_pointer) = argc; - move_stack_pointer(*stack_pointer, -4); //Moves the stack pointer back 4 + move_stack_pointer(stack_pointer, -4); //Moves the stack pointer back 4 (*(int *)(*stack_pointer)) = 0; } \ No newline at end of file