Searched refs:ticket_path (Results 1 – 1 of 1) sorted by relevance
804 char *ticket_path; in authenticate_root_with_img4() local817 ticket_path = imgboot_get_apticket_path(rootpath, &ticket_pathsz); in authenticate_root_with_img4()818 if (ticket_path == NULL) { in authenticate_root_with_img4()823 rv = imageboot_read_file(ticket_path, (void **)&tck.i4b_bytes, &tck.i4b_len, NULL); in authenticate_root_with_img4()825 AUTHPRNT("Cannot get a ticket from %s - %d\n", ticket_path, rv); in authenticate_root_with_img4()829 DBG_TRACE("Got %lu bytes of manifest from %s\n", tck.i4b_len, ticket_path); in authenticate_root_with_img4()852 kfree_data(ticket_path, ticket_pathsz); in authenticate_root_with_img4()