Home
last modified time | relevance | path

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

/xnu-8019.80.24/bsd/kern/
H A Dimageboot.c794 img4_buff_t tck = IMG4_BUFF_INIT; in authenticate_root_with_img4() local
817 rv = imageboot_read_file(ticket_path, (void **)&tck.i4b_bytes, &tck.i4b_len); in authenticate_root_with_img4()
823 DBG_TRACE("Got %lu bytes of manifest from %s\n", tck.i4b_len, ticket_path); in authenticate_root_with_img4()
840 img4_firmware_attach_manifest(fw, &tck); in authenticate_root_with_img4()
844 kfree_data(tck.i4b_bytes, tck.i4b_len); in authenticate_root_with_img4()