Powered by Linux

Re: [PATCH 1/3] check_kernel_printf: check that %pg gets a block_device — Semantic Matching Tool

Re: [PATCH 1/3] check_kernel_printf: check that %pg gets a block_device

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [PATCH 1/3] check_kernel_printf: check that %pg gets a block_device
From: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
Date: Tue, 13 Dec 2016 12:51:09 +0300
Cc: smatch@xxxxxxxxxxxxxxx
In-reply-to: <1481577451-3582-1-git-send-email-rv@rasmusvillemoes.dk>
References: <1481577451-3582-1-git-send-email-rv@rasmusvillemoes.dk>
User-agent: Mutt/1.5.21 (2010-09-15)

Thanks!  Pushed.

regards,
dan carpenter

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html

References:
- [PATCH 1/3] check_kernel_printf: check that %pg gets a block_device
  - From: Rasmus Villemoes

Prev by Date: [PATCH 1/3] check_kernel_printf: check that %pg gets a block_device
Next by Date: C Safety and Security Study Group
Previous by thread: [PATCH 3/3] check_kernel_printf.c: handle new definition of KERN_CONT
Next by thread: C Safety and Security Study Group
Index(es):
- Date
- Thread

[Index of Archives] [Linux USB Devel] [Linux Audio Users] [Yosemite News] [Linux Kernel] [Linux SCSI] [Big List of Linux Books]

Powered by Linux