Searched refs:socd_client_set_primary_kernelcache_uuid (Results 1 – 1 of 1) sorted by relevance
85 socd_client_set_primary_kernelcache_uuid(void) in socd_client_set_primary_kernelcache_uuid() function92 STARTUP(EARLY_BOOT, 0, socd_client_set_primary_kernelcache_uuid);