fixed up the stack_prefault function