PROFILE_KERNEL top-level constant

int const PROFILE_KERNEL

Implementation

const PROFILE_KERNEL = 0x20000000;