Home
last modified time | relevance | path

Searched refs:ticket_path (Results 1 – 1 of 1) sorted by relevance

/xnu-8020.101.4/bsd/kern/
H A Dimageboot.c797 char *ticket_path; in authenticate_root_with_img4() local
815 ticket_path = imgboot_get_apticket_path(rootpath, &ticket_pathsz); in authenticate_root_with_img4()
816 if (ticket_path == NULL) { in authenticate_root_with_img4()
821 rv = imageboot_read_file(ticket_path, (void **)&tck.i4b_bytes, &tck.i4b_len, NULL); in authenticate_root_with_img4()
823 AUTHPRNT("Cannot get a ticket from %s - %d\n", ticket_path, rv); in authenticate_root_with_img4()
827 DBG_TRACE("Got %lu bytes of manifest from %s\n", tck.i4b_len, ticket_path); in authenticate_root_with_img4()
850 kfree_data(ticket_path, ticket_pathsz); in authenticate_root_with_img4()