shstk_push
int shstk_push(u64 val);
if (shstk_push(new_ip) == -EFAULT) {
if (shstk_push(args.retaddr) == -EFAULT)