With the addition of the device persistent id we have the possibility
of adding 154 more bytes to the hdr. Thus if we assume the previous
size of 128 was sufficient we can simply add the 2 amounts and round
up.
Signed-off-by: Tony Asleson <tasleson@xxxxxxxxxx>
---
drivers/base/core.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/drivers/base/core.c b/drivers/base/core.c
index adef36d4b475..72a93b041a2d 100644
--- a/drivers/base/core.c
+++ b/drivers/base/core.c
@@ -3924,7 +3924,7 @@ create_syslog_header(const struct device *dev, char *hdr, size_t hdrlen)
int dev_vprintk_emit(int level, const struct device *dev,
const char *fmt, va_list args)
{
- char hdr[128];
+ char hdr[288];
size_t hdrlen;
hdrlen = create_syslog_header(dev, hdr, sizeof(hdr));
--
2.26.2
