coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
itss.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef SOC_INTEL_XEON_SP_ITSS_H
4 #define SOC_INTEL_XEONS_P_ITSS_H
5 
6 #define ITSS_MAX_IRQ 119
7 #define IRQS_PER_IPC 32
8 #define NUM_IPC_REGS ((ITSS_MAX_IRQ + IRQS_PER_IPC - 1)/IRQS_PER_IPC)
9 
10 #endif /* SOC_INTEL_XEON_SP_ITSS_H */