/* Make a object permanently as gray-colored so that it can no longer be reported as a leak. This is used in general to mark a false positive.  */
static void make_gray_object(unsigned long ptr)
/* Make a object permanently as gray-colored so that it can no longer be reported as a leak. This is used in general to mark a false positive.  */
static void make_gray_object(unsigned long ptr)
{
	paint_ptr(ptr, KMEMLEAK_GREY);
}