write_user_shstk_64
ret = write_user_shstk_64((__user void *)ssp, val);
if (write_user_shstk_64(addr, data | SHSTK_DATA_BIT))
err = write_user_shstk_64((u64 __user *)ssp, (u64)restorer);
return write_user_shstk_64((u64 __user *)ssp, (u64)val);
if (write_user_shstk_64((u64 __user *)addr, (u64)ssp))