1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright 2016 Google Inc.
4 */
5
6Device (CREC)
7{
8	Name (_HID, "GOOG0004")
9	Name (_UID, 1)
10	Name (_DDN, "EC Command Device")
11#ifdef EC_ENABLE_WAKE_PIN
12	Name (_PRW, Package () { EC_ENABLE_WAKE_PIN, 0x5 })
13#endif
14
15#ifdef EC_ENABLE_SYNC_IRQ
16	Name (_CRS, ResourceTemplate ()
17	{
18		Interrupt (ResourceConsumer, Level, ActiveLow, Exclusive)
19		{
20			EC_SYNC_IRQ
21		}
22	})
23#endif
24
25#ifdef EC_ENABLE_SYNC_IRQ_GPIO
26	Name (_CRS, ResourceTemplate ()
27	{
28		GpioInt (Level, ActiveLow, Exclusive, PullDefault, 0x0000,
29		         "\\_SB.GPIO", 0x00, ResourceConsumer, ,)
30		{
31			EC_SYNC_IRQ
32		}
33	})
34#endif
35
36#ifdef EC_ENABLE_MKBP_DEVICE
37	Device (CKSC)
38	{
39		Name (_HID, "GOOG0007")
40		Name (_UID, 1)
41		Name (_DDN, "EC MKBP Device")
42	}
43#endif
44
45#ifdef EC_ENABLE_CBAS_DEVICE
46	Device (CBAS)
47	{
48		Name (_HID, "GOOG000B")
49		Name (_UID, 1)
50		Name (_DDN, "EC Base Switch Device")
51	}
52#endif
53	Method(_STA, 0)
54	{
55		Return (0xB)
56	}
57}
58