Symbol: TEE_IOCTL_LOGIN_PUBLIC