Constant KERNEL_WMI_INTERNAL 

pub const KERNEL_WMI_INTERNAL: BUGCHECK_ERROR;