SGX_IOCTL_MAX_DATA_LEN
if (len > SGX_IOCTL_MAX_DATA_LEN)
uint8_t data[SGX_IOCTL_MAX_DATA_LEN];
if (len > SGX_IOCTL_MAX_DATA_LEN) {