Searched refs:imageboot_read_file (Results 1 – 3 of 3) sorted by relevance
| /xnu-8020.101.4/bsd/sys/ |
| H A D | imageboot.h | 47 int imageboot_read_file(const char *path, void **bufp, size_t *bufszp, off_t *fsizep);
|
| /xnu-8020.101.4/bsd/kern/ |
| H A D | chunklist.c | 596 err = imageboot_read_file(chunklist_path, &chunklist_buf, &chunklist_len, NULL); in authenticate_root_with_chunklist()
659 err = imageboot_read_file(bootkc_path, &buf, &bufsz, NULL); in authenticate_bootkc_uuid()
710 err = imageboot_read_file(libkern_path, &buf, &bufsz, &fsize); in authenticate_libkern_uuid()
|
| H A D | imageboot.c | 722 imageboot_read_file(const char *path, void **bufp, size_t *bufszp, off_t *fsizep) in imageboot_read_file() function
821 rv = imageboot_read_file(ticket_path, (void **)&tck.i4b_bytes, &tck.i4b_len, NULL); in authenticate_root_with_img4()
|