77 #define AUTHPRNT(fmt, args...) do { printf("%s: " fmt "\n", __func__, ##args); } while (0)  macro
575 		AUTHPRNT("namei failed (%s) - %d", path, err);  in imageboot_read_file_internal()
582 		AUTHPRNT("failed to get vnode size of %s - %d", path, err);  in imageboot_read_file_internal()
589 		AUTHPRNT("negative file offset");  in imageboot_read_file_internal()
599 		AUTHPRNT("failed to open %s - %d", path, err);  in imageboot_read_file_internal()
621 		AUTHPRNT("file is too large (%lld > %lld)", (long long) fsize, (long long) maxsize);  in imageboot_read_file_internal()
637 			AUTHPRNT("file is too large for non-pageable (%lld)", (long long) fsize);  in imageboot_read_file_internal()
667 …AUTHPRNT("Cannot read %lld bytes at offset %lld from %s - %d", (long long)chunksize, (long long)re…  in imageboot_read_file_internal()
745 		AUTHPRNT("Cannot find %s - error %d", path, err);  in imgboot_get_image_file()
752 			AUTHPRNT("%s it not a regular file", path);  in imgboot_get_image_file()
755 				AUTHPRNT("Cannot get file size of %s - error %d", path, err);  in imgboot_get_image_file()
819 		AUTHPRNT("Cannot construct ticket path - out of memory");  in authenticate_root_with_img4()
825 		AUTHPRNT("Cannot get a ticket from %s - %d\n", ticket_path, rv);  in authenticate_root_with_img4()
841 		AUTHPRNT("Could not allocate new firmware");  in authenticate_root_with_img4()