Searched refs:kSharedCacheDriverkit (Results 1 – 3 of 3) sorted by relevance
588 kSharedCacheDriverkit = 0x2, /* driverkit shared cache */ enumerator
2998 (sr->sr_driverkit ? kSharedCacheDriverkit : 0); in kdp_stackshot_shared_regions()