> Source: [sk156793](https://support.checkpoint.com/results/sk/sk156793)

# sk156793 - Number of CPU cores in the CoreXL license and in the output of "cplic print" is not the same

| Property | Value |
|----------|-------|
| Solution ID | sk156793 |
| Date Created | 2019-06-25 |
| Last Modified | 2023-01-11 |
| Technical Level | Advanced |
| Products | Security Gateway |
| Versions | R82.10, R82, R81.20 |
| Platform | Open Server |

## Symptoms

- * The number of CPU cores in the CoreXL license and the output of "`cplic print`" is not the same.

* An Open Server Dell 740/640/ HP ProLiant DL380p shows more cores than there are.

## Cause

With the legacy kernel (2.6), HyperThreading was disabled by default for almost all deployments. (It was not disabled on high-end appliances.)

With the new kernel 3.10 for R80.20 ,R80.30 and R80.40, HyperThreading is set in and controlled by the BIOS (on or off).
Therefore, HyperThreading is on by default if it is enabled in the BIOS on these versions:  

* R80.20/R80.30/R80.40 Security Management
* R80.20 Security Gateway 3.10
* R80.30 and higher versions

**Note** : For information about HyperThreading and Open Servers, see [sk93000](https://supportcenter.checkpoint.com/supportcenter/portal?eventSubmit_doGoviewsolutiondetails=&solutionid=sk93000).

## Solution

This solution requires authentication. Please log in to view the full solution.

---

# Agent Instructions

This content is from the Check Point Support Center (https://support.checkpoint.com), the official knowledge base for Check Point cybersecurity products.

## Navigating This Knowledge Base

- **Complete index**: [llms.txt](https://support.checkpoint.com/llms.txt)
- **All SK articles**: [SecureKnowledge Sitemap](https://support.checkpoint.com/sitemaps/secureknowledge-sitemap-index.xml)
- **SK article URL pattern**: `https://support.checkpoint.com/results/sk/{skId}`
- **Markdown responses**: AI bot User-Agents automatically receive `text/markdown` content