def madt.min.go

bend-osdev-acpi@0.1.1.0 · madt.bend:83

import Base

83def madt.min.go(k: Nat) -> Nat:
84  match k:
85    case 0n:
86      8n
87    case 1n:
88      12n
89    case 2n:
90      10n
91    case 3n:
92      8n
93    case 4n:
94      6n
95    case 5n:
96      12n
97    case 9n:
98      16n
99    case 10n:
100      12n
101    case 11n:
102      76n
103    case 12n:
104      24n
105    case 13n:
106      24n
107    case 14n:
108      16n
109    case 15n:
110      20n
111    case 16n:
112      16n
113    case _:
114      2n