1 /* SPDX-License-Identifier: GPL-2.0-only */
5 Name (_HID, "80860F14")
8 Name (_DDN, "eMMC Controller 4.5")
10 Name (RBUF, ResourceTemplate()
12 Memory32Fixed (ReadWrite, 0, 0x1000, BAR0)
13 Interrupt (ResourceConsumer, Level, ActiveLow, Exclusive,,,)
21 CreateDwordField (^RBUF, ^BAR0._BAS, RBAS)
35 OperationRegion (KEYS, SystemMemory, C0B1, 0x100)
36 Field (KEYS, DWordAcc, NoLock, WriteAsZeros)
56 /* Slot 0, Function 8 */
59 Method (_RMV, 0, NotSerialized)
68 Name (_ADR, 0x00100000)
70 OperationRegion (SDIO, PCI_Config, 0x84, 0x04)
71 Field (SDIO, WordAcc, NoLock, Preserve)
79 Method (_STA, 0, NotSerialized)
90 Method (_DSW, 3, NotSerialized)
97 Method (_RMV, 0, NotSerialized)
106 Name (_HID, "INT33BB")
107 Name (_CID, "PNP0D40")
109 Name (_DDN, "SDIO Controller")
111 Name (RBUF, ResourceTemplate()
113 Memory32Fixed (ReadWrite, 0, 0x1000, BAR0)
114 Interrupt (ResourceConsumer, Level, ActiveLow, Exclusive,,,)
122 CreateDwordField (^RBUF, ^BAR0._BAS, RBAS)
136 OperationRegion (KEYS, SystemMemory, C1B1, 0x100)
137 Field (KEYS, DWordAcc, NoLock, WriteAsZeros)
158 Name (_HID, "INT33BB")
159 Name (_CID, "PNP0D40")
161 Name (_DDN, "SD Card Controller")
163 Name (RBUF, ResourceTemplate()
165 Memory32Fixed (ReadWrite, 0x00000000, 0x00001000, BAR0)
166 Interrupt(ResourceConsumer, Level, ActiveLow, Exclusive, , , )
167 {SCC_SD_IRQ} /* SD Card IRQ */
168 GpioInt(Edge, ActiveBoth, SharedAndWake, PullNone, 10000, "\\_SB.GPSE", 0, ResourceConsumer, , )
169 {SDCARD_CD} /* SE81 */
174 CreateDwordField (^RBUF, ^BAR0._BAS, RBAS)
188 OperationRegion (KEYS, SystemMemory, C2B1, 0x100)
189 Field (KEYS, DWordAcc, NoLock, WriteAsZeros)