Searched refs:dt_kernel_header_name (Results 1 – 1 of 1) sorted by relevance
1160 const char * dt_kernel_header_name = "Kernel-__HEADER"; in removeKextBootstrap() local1196 dt_result = IODTGetLoaderInfo(dt_kernel_header_name, in removeKextBootstrap()1199 IODTFreeLoaderInfo(dt_kernel_header_name, (void *)dt_mach_header, in removeKextBootstrap()