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