buf = sdev->psKernelEDMStatusBufferMemInfo->pvLinAddrKM;
- p += snprintf(dst + p, dst_len - p,
+ p += scnprintf(dst + p, dst_len - p,
"Last SGX microkernel status code: 0x%x\n", *buf);
buf++;
wr_ofs = *buf;
/* Dump the status values */
for (i = 0; i < SGXMK_TRACE_BUFFER_SIZE; i++) {
- p += snprintf(dst + p, dst_len - p, "%3d %08X %08X %08X %08X\n",
+ p += scnprintf(dst + p, dst_len - p,
+ "%3d %08X %08X %08X %08X\n",
i, buf[2], buf[3], buf[1], buf[0]);
buf += 4;
if (buf >= buf_end)