/* 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;
	}
}