Searched defs:fastboot_free_file_pte (Results 1 - 1 of 1) sorted by relevance
| /illumos-gate/usr/src/uts/i86pc/os/ | ||
| H A D | fastboot.c | 757 fastboot_free_file_pte(fastboot_file_t *fb, uint64_t endaddr) function 778 fastboot_free_file_pte(nk->fi_files + i, endaddr); |
Completed in 47 milliseconds