1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
Name(IRQB, ResourceTemplate(){
IRQ(Level,ActiveLow,Shared){}
})
Name(IRQP, ResourceTemplate(){
IRQ(Level,ActiveLow,Shared){3, 4, 5, 6, 7, 10, 11, 12, 14, 15}
})
/* adapted from ma78gm/dsdt.asl */
#define PCI_INTX_DEV(intx, pinx, uid) \
Device(intx) { \
Name(_HID, EISAID("PNP0C0F")) \
Name(_UID, uid) \
\
Method(_STA, 0) { \
If (And(pinx, 0x80)) { \
Return(0x09) \
} \
Return(0x0B) \
} \
\
Method(_DIS ,0) { \
Store(0x80, pinx) \
} \
\
Method(_PRS ,0) { \
Return(IRQP) \
} \
\
Method(_CRS ,0) { \
CreateWordField(IRQB, 1, IRQN) \
ShiftLeft(1, And(pinx, 0x0f), IRQN) \
Return(IRQB) \
} \
\
Method(_SRS, 1) { \
CreateWordField(ARG0, 1, IRQM) \
\
/* Use lowest available IRQ */ \
FindSetRightBit(IRQM, Local0) \
if (Local0) { \
Decrement(Local0) \
} \
Store(Local0, pinx) \
} \
} \
|
