tree a87f9203cde7d38af6009c8198277a1335dbf8b2
parent 1a93a6eac32a2853177f10e274b9b761b42356eb
author William Roberts <william.c.roberts@intel.com> 1470676114 -0400
committer Paul Moore <paul@paul-moore.com> 1470676114 -0400

selinux: print leading 0x on ioctlcmd audits

ioctlcmd is currently printing hex numbers, but their is no leading
0x. Thus things like ioctlcmd=1234 are misleading, as the base is
not evident.

Correct this by adding 0x as a prefix, so ioctlcmd=1234 becomes
ioctlcmd=0x1234.

Signed-off-by: William Roberts <william.c.roberts@intel.com>
Signed-off-by: Paul Moore <paul@paul-moore.com>