xfree86/int10: mark printk as _X_ATTRIBUTE_PRINTF
authorKeith Packard <keithp@keithp.com>
Sun, 17 Nov 2013 07:31:55 +0000 (23:31 -0800)
committerKeith Packard <keithp@keithp.com>
Sun, 12 Jan 2014 18:14:50 +0000 (10:14 -0800)
commit2a93e75ff81b095bc9cdb80906e23ec705d52df5
tree1e9ee8b9c1d475b21e6d22a6e277cf3c9c6cf999
parent7fe436a7b786ff02ed55cf9ed65edfd2fe07ac22
xfree86/int10: mark printk as _X_ATTRIBUTE_PRINTF

Signed-off-by: Keith Packard <keithp@keithp.com>
Reviewed-by: Adam Jackson <ajax@redhat.com>
hw/xfree86/x86emu/x86emu/regs.h