/* SPDX-License-Identifier: GPL-2.0-only */ #include <device/device.h> #include <device/pci_def.h> #include <device/pci_ops.h> #include "sandybridge.h" enum platform_type get_platform_type(void) { switch (pci_s_read_config16(HOST_BRIDGE, PCI_DEVICE_ID) & 0xc) { case 0x0: /* Desktop */ return PLATFORM_DESKTOP_SERVER; case 0x4: /* Mobile */ return PLATFORM_MOBILE; case 0x8: /* Server */ default: return PLATFORM_DESKTOP_SERVER; } }