PROFILE_KERNEL top-level constant

int const PROFILE_KERNEL

Implementation

const int PROFILE_KERNEL = 536870912;