xref: /openbmc/qemu/hw/acpi/aml-build.c (revision 770c58f8d10b61e80a211d87df83670711631530)
1 /* Support for generating ACPI tables and passing them to Guests
2  *
3  * Copyright (C) 2015 Red Hat Inc
4  *
5  * Author: Michael S. Tsirkin <mst@redhat.com>
6  * Author: Igor Mammedov <imammedo@redhat.com>
7  *
8  * This program is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License as published by
10  * the Free Software Foundation; either version 2 of the License, or
11  * (at your option) any later version.
12 
13  * This program is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16  * GNU General Public License for more details.
17 
18  * You should have received a copy of the GNU General Public License along
19  * with this program; if not, see <http://www.gnu.org/licenses/>.
20  */
21 
22 #include <glib/gprintf.h>
23 #include <stdio.h>
24 #include <stdarg.h>
25 #include <assert.h>
26 #include <stdbool.h>
27 #include <string.h>
28 #include "hw/acpi/aml-build.h"
29 #include "qemu/bswap.h"
30 #include "qemu/bitops.h"
31 #include "hw/acpi/bios-linker-loader.h"
32 
33 static GArray *build_alloc_array(void)
34 {
35     return g_array_new(false, true /* clear */, 1);
36 }
37 
38 static void build_free_array(GArray *array)
39 {
40     g_array_free(array, true);
41 }
42 
43 static void build_prepend_byte(GArray *array, uint8_t val)
44 {
45     g_array_prepend_val(array, val);
46 }
47 
48 static void build_append_byte(GArray *array, uint8_t val)
49 {
50     g_array_append_val(array, val);
51 }
52 
53 static void build_append_array(GArray *array, GArray *val)
54 {
55     g_array_append_vals(array, val->data, val->len);
56 }
57 
58 #define ACPI_NAMESEG_LEN 4
59 
60 static void
61 build_append_nameseg(GArray *array, const char *seg)
62 {
63     int len;
64 
65     len = strlen(seg);
66     assert(len <= ACPI_NAMESEG_LEN);
67 
68     g_array_append_vals(array, seg, len);
69     /* Pad up to ACPI_NAMESEG_LEN characters if necessary. */
70     g_array_append_vals(array, "____", ACPI_NAMESEG_LEN - len);
71 }
72 
73 static void GCC_FMT_ATTR(2, 0)
74 build_append_namestringv(GArray *array, const char *format, va_list ap)
75 {
76     char *s;
77     char **segs;
78     char **segs_iter;
79     int seg_count = 0;
80 
81     s = g_strdup_vprintf(format, ap);
82     segs = g_strsplit(s, ".", 0);
83     g_free(s);
84 
85     /* count segments */
86     segs_iter = segs;
87     while (*segs_iter) {
88         ++segs_iter;
89         ++seg_count;
90     }
91     /*
92      * ACPI 5.0 spec: 20.2.2 Name Objects Encoding:
93      * "SegCount can be from 1 to 255"
94      */
95     assert(seg_count > 0 && seg_count <= 255);
96 
97     /* handle RootPath || PrefixPath */
98     s = *segs;
99     while (*s == '\\' || *s == '^') {
100         build_append_byte(array, *s);
101         ++s;
102     }
103 
104     switch (seg_count) {
105     case 1:
106         if (!*s) {
107             build_append_byte(array, 0x00); /* NullName */
108         } else {
109             build_append_nameseg(array, s);
110         }
111         break;
112 
113     case 2:
114         build_append_byte(array, 0x2E); /* DualNamePrefix */
115         build_append_nameseg(array, s);
116         build_append_nameseg(array, segs[1]);
117         break;
118     default:
119         build_append_byte(array, 0x2F); /* MultiNamePrefix */
120         build_append_byte(array, seg_count);
121 
122         /* handle the 1st segment manually due to prefix/root path */
123         build_append_nameseg(array, s);
124 
125         /* add the rest of segments */
126         segs_iter = segs + 1;
127         while (*segs_iter) {
128             build_append_nameseg(array, *segs_iter);
129             ++segs_iter;
130         }
131         break;
132     }
133     g_strfreev(segs);
134 }
135 
136 GCC_FMT_ATTR(2, 3)
137 static void build_append_namestring(GArray *array, const char *format, ...)
138 {
139     va_list ap;
140 
141     va_start(ap, format);
142     build_append_namestringv(array, format, ap);
143     va_end(ap);
144 }
145 
146 /* 5.4 Definition Block Encoding */
147 enum {
148     PACKAGE_LENGTH_1BYTE_SHIFT = 6, /* Up to 63 - use extra 2 bits. */
149     PACKAGE_LENGTH_2BYTE_SHIFT = 4,
150     PACKAGE_LENGTH_3BYTE_SHIFT = 12,
151     PACKAGE_LENGTH_4BYTE_SHIFT = 20,
152 };
153 
154 static void
155 build_prepend_package_length(GArray *package, unsigned length, bool incl_self)
156 {
157     uint8_t byte;
158     unsigned length_bytes;
159 
160     if (length + 1 < (1 << PACKAGE_LENGTH_1BYTE_SHIFT)) {
161         length_bytes = 1;
162     } else if (length + 2 < (1 << PACKAGE_LENGTH_3BYTE_SHIFT)) {
163         length_bytes = 2;
164     } else if (length + 3 < (1 << PACKAGE_LENGTH_4BYTE_SHIFT)) {
165         length_bytes = 3;
166     } else {
167         length_bytes = 4;
168     }
169 
170     /*
171      * NamedField uses PkgLength encoding but it doesn't include length
172      * of PkgLength itself.
173      */
174     if (incl_self) {
175         /*
176          * PkgLength is the length of the inclusive length of the data
177          * and PkgLength's length itself when used for terms with
178          * explitit length.
179          */
180         length += length_bytes;
181     }
182 
183     switch (length_bytes) {
184     case 1:
185         byte = length;
186         build_prepend_byte(package, byte);
187         return;
188     case 4:
189         byte = length >> PACKAGE_LENGTH_4BYTE_SHIFT;
190         build_prepend_byte(package, byte);
191         length &= (1 << PACKAGE_LENGTH_4BYTE_SHIFT) - 1;
192         /* fall through */
193     case 3:
194         byte = length >> PACKAGE_LENGTH_3BYTE_SHIFT;
195         build_prepend_byte(package, byte);
196         length &= (1 << PACKAGE_LENGTH_3BYTE_SHIFT) - 1;
197         /* fall through */
198     case 2:
199         byte = length >> PACKAGE_LENGTH_2BYTE_SHIFT;
200         build_prepend_byte(package, byte);
201         length &= (1 << PACKAGE_LENGTH_2BYTE_SHIFT) - 1;
202         /* fall through */
203     }
204     /*
205      * Most significant two bits of byte zero indicate how many following bytes
206      * are in PkgLength encoding.
207      */
208     byte = ((length_bytes - 1) << PACKAGE_LENGTH_1BYTE_SHIFT) | length;
209     build_prepend_byte(package, byte);
210 }
211 
212 static void
213 build_append_pkg_length(GArray *array, unsigned length, bool incl_self)
214 {
215     GArray *tmp = build_alloc_array();
216 
217     build_prepend_package_length(tmp, length, incl_self);
218     build_append_array(array, tmp);
219     build_free_array(tmp);
220 }
221 
222 static void build_package(GArray *package, uint8_t op)
223 {
224     build_prepend_package_length(package, package->len, true);
225     build_prepend_byte(package, op);
226 }
227 
228 static void build_extop_package(GArray *package, uint8_t op)
229 {
230     build_package(package, op);
231     build_prepend_byte(package, 0x5B); /* ExtOpPrefix */
232 }
233 
234 static void build_append_int_noprefix(GArray *table, uint64_t value, int size)
235 {
236     int i;
237 
238     for (i = 0; i < size; ++i) {
239         build_append_byte(table, value & 0xFF);
240         value = value >> 8;
241     }
242 }
243 
244 static void build_append_int(GArray *table, uint64_t value)
245 {
246     if (value == 0x00) {
247         build_append_byte(table, 0x00); /* ZeroOp */
248     } else if (value == 0x01) {
249         build_append_byte(table, 0x01); /* OneOp */
250     } else if (value <= 0xFF) {
251         build_append_byte(table, 0x0A); /* BytePrefix */
252         build_append_int_noprefix(table, value, 1);
253     } else if (value <= 0xFFFF) {
254         build_append_byte(table, 0x0B); /* WordPrefix */
255         build_append_int_noprefix(table, value, 2);
256     } else if (value <= 0xFFFFFFFF) {
257         build_append_byte(table, 0x0C); /* DWordPrefix */
258         build_append_int_noprefix(table, value, 4);
259     } else {
260         build_append_byte(table, 0x0E); /* QWordPrefix */
261         build_append_int_noprefix(table, value, 8);
262     }
263 }
264 
265 static GPtrArray *alloc_list;
266 
267 static Aml *aml_alloc(void)
268 {
269     Aml *var = g_new0(typeof(*var), 1);
270 
271     g_ptr_array_add(alloc_list, var);
272     var->block_flags = AML_NO_OPCODE;
273     var->buf = build_alloc_array();
274     return var;
275 }
276 
277 static Aml *aml_opcode(uint8_t op)
278 {
279     Aml *var = aml_alloc();
280 
281     var->op  = op;
282     var->block_flags = AML_OPCODE;
283     return var;
284 }
285 
286 static Aml *aml_bundle(uint8_t op, AmlBlockFlags flags)
287 {
288     Aml *var = aml_alloc();
289 
290     var->op  = op;
291     var->block_flags = flags;
292     return var;
293 }
294 
295 static void aml_free(gpointer data, gpointer user_data)
296 {
297     Aml *var = data;
298     build_free_array(var->buf);
299     g_free(var);
300 }
301 
302 Aml *init_aml_allocator(void)
303 {
304     Aml *var;
305 
306     assert(!alloc_list);
307     alloc_list = g_ptr_array_new();
308     var = aml_alloc();
309     return var;
310 }
311 
312 void free_aml_allocator(void)
313 {
314     g_ptr_array_foreach(alloc_list, aml_free, NULL);
315     g_ptr_array_free(alloc_list, true);
316     alloc_list = 0;
317 }
318 
319 /* pack data with DefBuffer encoding */
320 static void build_buffer(GArray *array, uint8_t op)
321 {
322     GArray *data = build_alloc_array();
323 
324     build_append_int(data, array->len);
325     g_array_prepend_vals(array, data->data, data->len);
326     build_free_array(data);
327     build_package(array, op);
328 }
329 
330 void aml_append(Aml *parent_ctx, Aml *child)
331 {
332     GArray *buf = build_alloc_array();
333     build_append_array(buf, child->buf);
334 
335     switch (child->block_flags) {
336     case AML_OPCODE:
337         build_append_byte(parent_ctx->buf, child->op);
338         break;
339     case AML_EXT_PACKAGE:
340         build_extop_package(buf, child->op);
341         break;
342     case AML_PACKAGE:
343         build_package(buf, child->op);
344         break;
345     case AML_RES_TEMPLATE:
346         build_append_byte(buf, 0x79); /* EndTag */
347         /*
348          * checksum operations are treated as succeeded if checksum
349          * field is zero. [ACPI Spec 1.0b, 6.4.2.8 End Tag]
350          */
351         build_append_byte(buf, 0);
352         /* fall through, to pack resources in buffer */
353     case AML_BUFFER:
354         build_buffer(buf, child->op);
355         break;
356     case AML_NO_OPCODE:
357         break;
358     default:
359         assert(0);
360         break;
361     }
362     build_append_array(parent_ctx->buf, buf);
363     build_free_array(buf);
364 }
365 
366 /* ACPI 1.0b: 16.2.5.1 Namespace Modifier Objects Encoding: DefScope */
367 Aml *aml_scope(const char *name_format, ...)
368 {
369     va_list ap;
370     Aml *var = aml_bundle(0x10 /* ScopeOp */, AML_PACKAGE);
371     va_start(ap, name_format);
372     build_append_namestringv(var->buf, name_format, ap);
373     va_end(ap);
374     return var;
375 }
376 
377 /* ACPI 1.0b: 16.2.5.3 Type 1 Opcodes Encoding: DefReturn */
378 Aml *aml_return(Aml *val)
379 {
380     Aml *var = aml_opcode(0xA4 /* ReturnOp */);
381     aml_append(var, val);
382     return var;
383 }
384 
385 /*
386  * ACPI 1.0b: 16.2.3 Data Objects Encoding:
387  * encodes: ByteConst, WordConst, DWordConst, QWordConst, ZeroOp, OneOp
388  */
389 Aml *aml_int(const uint64_t val)
390 {
391     Aml *var = aml_alloc();
392     build_append_int(var->buf, val);
393     return var;
394 }
395 
396 /*
397  * helper to construct NameString, which returns Aml object
398  * for using with aml_append or other aml_* terms
399  */
400 Aml *aml_name(const char *name_format, ...)
401 {
402     va_list ap;
403     Aml *var = aml_alloc();
404     va_start(ap, name_format);
405     build_append_namestringv(var->buf, name_format, ap);
406     va_end(ap);
407     return var;
408 }
409 
410 /* ACPI 1.0b: 16.2.5.1 Namespace Modifier Objects Encoding: DefName */
411 Aml *aml_name_decl(const char *name, Aml *val)
412 {
413     Aml *var = aml_opcode(0x08 /* NameOp */);
414     build_append_namestring(var->buf, "%s", name);
415     aml_append(var, val);
416     return var;
417 }
418 
419 /* ACPI 1.0b: 16.2.6.1 Arg Objects Encoding */
420 Aml *aml_arg(int pos)
421 {
422     Aml *var;
423     uint8_t op = 0x68 /* ARG0 op */ + pos;
424 
425     assert(pos <= 6);
426     var = aml_opcode(op);
427     return var;
428 }
429 
430 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefStore */
431 Aml *aml_store(Aml *val, Aml *target)
432 {
433     Aml *var = aml_opcode(0x70 /* StoreOp */);
434     aml_append(var, val);
435     aml_append(var, target);
436     return var;
437 }
438 
439 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefAnd */
440 Aml *aml_and(Aml *arg1, Aml *arg2)
441 {
442     Aml *var = aml_opcode(0x7B /* AndOp */);
443     aml_append(var, arg1);
444     aml_append(var, arg2);
445     build_append_byte(var->buf, 0x00 /* NullNameOp */);
446     return var;
447 }
448 
449 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefOr */
450 Aml *aml_or(Aml *arg1, Aml *arg2)
451 {
452     Aml *var = aml_opcode(0x7D /* OrOp */);
453     aml_append(var, arg1);
454     aml_append(var, arg2);
455     build_append_byte(var->buf, 0x00 /* NullNameOp */);
456     return var;
457 }
458 
459 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefShiftLeft */
460 Aml *aml_shiftleft(Aml *arg1, Aml *count)
461 {
462     Aml *var = aml_opcode(0x79 /* ShiftLeftOp */);
463     aml_append(var, arg1);
464     aml_append(var, count);
465     build_append_byte(var->buf, 0x00); /* NullNameOp */
466     return var;
467 }
468 
469 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefShiftRight */
470 Aml *aml_shiftright(Aml *arg1, Aml *count)
471 {
472     Aml *var = aml_opcode(0x7A /* ShiftRightOp */);
473     aml_append(var, arg1);
474     aml_append(var, count);
475     build_append_byte(var->buf, 0x00); /* NullNameOp */
476     return var;
477 }
478 
479 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefLLess */
480 Aml *aml_lless(Aml *arg1, Aml *arg2)
481 {
482     Aml *var = aml_opcode(0x95 /* LLessOp */);
483     aml_append(var, arg1);
484     aml_append(var, arg2);
485     return var;
486 }
487 
488 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefAdd */
489 Aml *aml_add(Aml *arg1, Aml *arg2)
490 {
491     Aml *var = aml_opcode(0x72 /* AddOp */);
492     aml_append(var, arg1);
493     aml_append(var, arg2);
494     build_append_byte(var->buf, 0x00 /* NullNameOp */);
495     return var;
496 }
497 
498 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefIncrement */
499 Aml *aml_increment(Aml *arg)
500 {
501     Aml *var = aml_opcode(0x75 /* IncrementOp */);
502     aml_append(var, arg);
503     return var;
504 }
505 
506 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefIndex */
507 Aml *aml_index(Aml *arg1, Aml *idx)
508 {
509     Aml *var = aml_opcode(0x88 /* IndexOp */);
510     aml_append(var, arg1);
511     aml_append(var, idx);
512     build_append_byte(var->buf, 0x00 /* NullNameOp */);
513     return var;
514 }
515 
516 /* ACPI 1.0b: 16.2.5.3 Type 1 Opcodes Encoding: DefNotify */
517 Aml *aml_notify(Aml *arg1, Aml *arg2)
518 {
519     Aml *var = aml_opcode(0x86 /* NotifyOp */);
520     aml_append(var, arg1);
521     aml_append(var, arg2);
522     return var;
523 }
524 
525 /* helper to call method with 1 argument */
526 Aml *aml_call1(const char *method, Aml *arg1)
527 {
528     Aml *var = aml_alloc();
529     build_append_namestring(var->buf, "%s", method);
530     aml_append(var, arg1);
531     return var;
532 }
533 
534 /* helper to call method with 2 arguments */
535 Aml *aml_call2(const char *method, Aml *arg1, Aml *arg2)
536 {
537     Aml *var = aml_alloc();
538     build_append_namestring(var->buf, "%s", method);
539     aml_append(var, arg1);
540     aml_append(var, arg2);
541     return var;
542 }
543 
544 /* helper to call method with 3 arguments */
545 Aml *aml_call3(const char *method, Aml *arg1, Aml *arg2, Aml *arg3)
546 {
547     Aml *var = aml_alloc();
548     build_append_namestring(var->buf, "%s", method);
549     aml_append(var, arg1);
550     aml_append(var, arg2);
551     aml_append(var, arg3);
552     return var;
553 }
554 
555 /* helper to call method with 4 arguments */
556 Aml *aml_call4(const char *method, Aml *arg1, Aml *arg2, Aml *arg3, Aml *arg4)
557 {
558     Aml *var = aml_alloc();
559     build_append_namestring(var->buf, "%s", method);
560     aml_append(var, arg1);
561     aml_append(var, arg2);
562     aml_append(var, arg3);
563     aml_append(var, arg4);
564     return var;
565 }
566 
567 /*
568  * ACPI 1.0b: 6.4.3.4 32-Bit Fixed Location Memory Range Descriptor
569  * (Type 1, Large Item Name 0x6)
570  */
571 Aml *aml_memory32_fixed(uint32_t addr, uint32_t size,
572                         AmlReadAndWrite read_and_write)
573 {
574     Aml *var = aml_alloc();
575     build_append_byte(var->buf, 0x86); /* Memory32Fixed Resource Descriptor */
576     build_append_byte(var->buf, 9);    /* Length, bits[7:0] value = 9 */
577     build_append_byte(var->buf, 0);    /* Length, bits[15:8] value = 0 */
578     build_append_byte(var->buf, read_and_write); /* Write status, 1 rw 0 ro */
579 
580     /* Range base address */
581     build_append_byte(var->buf, extract32(addr, 0, 8));  /* bits[7:0] */
582     build_append_byte(var->buf, extract32(addr, 8, 8));  /* bits[15:8] */
583     build_append_byte(var->buf, extract32(addr, 16, 8)); /* bits[23:16] */
584     build_append_byte(var->buf, extract32(addr, 24, 8)); /* bits[31:24] */
585 
586     /* Range length */
587     build_append_byte(var->buf, extract32(size, 0, 8));  /* bits[7:0] */
588     build_append_byte(var->buf, extract32(size, 8, 8));  /* bits[15:8] */
589     build_append_byte(var->buf, extract32(size, 16, 8)); /* bits[23:16] */
590     build_append_byte(var->buf, extract32(size, 24, 8)); /* bits[31:24] */
591     return var;
592 }
593 
594 /*
595  * ACPI 5.0: 6.4.3.6 Extended Interrupt Descriptor
596  * Type 1, Large Item Name 0x9
597  */
598 Aml *aml_interrupt(AmlConsumerAndProducer con_and_pro,
599                    AmlLevelAndEdge level_and_edge,
600                    AmlActiveHighAndLow high_and_low, AmlShared shared,
601                    uint32_t irq)
602 {
603     Aml *var = aml_alloc();
604     uint8_t irq_flags = con_and_pro | (level_and_edge << 1)
605                         | (high_and_low << 2) | (shared << 3);
606 
607     build_append_byte(var->buf, 0x89); /* Extended irq descriptor */
608     build_append_byte(var->buf, 6); /* Length, bits[7:0] minimum value = 6 */
609     build_append_byte(var->buf, 0); /* Length, bits[15:8] minimum value = 0 */
610     build_append_byte(var->buf, irq_flags); /* Interrupt Vector Information. */
611     build_append_byte(var->buf, 0x01);      /* Interrupt table length = 1 */
612 
613     /* Interrupt Number */
614     build_append_byte(var->buf, extract32(irq, 0, 8));  /* bits[7:0] */
615     build_append_byte(var->buf, extract32(irq, 8, 8));  /* bits[15:8] */
616     build_append_byte(var->buf, extract32(irq, 16, 8)); /* bits[23:16] */
617     build_append_byte(var->buf, extract32(irq, 24, 8)); /* bits[31:24] */
618     return var;
619 }
620 
621 /* ACPI 1.0b: 6.4.2.5 I/O Port Descriptor */
622 Aml *aml_io(AmlIODecode dec, uint16_t min_base, uint16_t max_base,
623             uint8_t aln, uint8_t len)
624 {
625     Aml *var = aml_alloc();
626     build_append_byte(var->buf, 0x47); /* IO port descriptor */
627     build_append_byte(var->buf, dec);
628     build_append_byte(var->buf, min_base & 0xff);
629     build_append_byte(var->buf, (min_base >> 8) & 0xff);
630     build_append_byte(var->buf, max_base & 0xff);
631     build_append_byte(var->buf, (max_base >> 8) & 0xff);
632     build_append_byte(var->buf, aln);
633     build_append_byte(var->buf, len);
634     return var;
635 }
636 
637 /*
638  * ACPI 1.0b: 6.4.2.1.1 ASL Macro for IRQ Descriptor
639  *
640  * More verbose description at:
641  * ACPI 5.0: 19.5.64 IRQNoFlags (Interrupt Resource Descriptor Macro)
642  *           6.4.2.1 IRQ Descriptor
643  */
644 Aml *aml_irq_no_flags(uint8_t irq)
645 {
646     uint16_t irq_mask;
647     Aml *var = aml_alloc();
648 
649     assert(irq < 16);
650     build_append_byte(var->buf, 0x22); /* IRQ descriptor 2 byte form */
651 
652     irq_mask = 1U << irq;
653     build_append_byte(var->buf, irq_mask & 0xFF); /* IRQ mask bits[7:0] */
654     build_append_byte(var->buf, irq_mask >> 8); /* IRQ mask bits[15:8] */
655     return var;
656 }
657 
658 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefLNot */
659 Aml *aml_lnot(Aml *arg)
660 {
661     Aml *var = aml_opcode(0x92 /* LNotOp */);
662     aml_append(var, arg);
663     return var;
664 }
665 
666 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefLEqual */
667 Aml *aml_equal(Aml *arg1, Aml *arg2)
668 {
669     Aml *var = aml_opcode(0x93 /* LequalOp */);
670     aml_append(var, arg1);
671     aml_append(var, arg2);
672     return var;
673 }
674 
675 /* ACPI 1.0b: 16.2.5.3 Type 1 Opcodes Encoding: DefIfElse */
676 Aml *aml_if(Aml *predicate)
677 {
678     Aml *var = aml_bundle(0xA0 /* IfOp */, AML_PACKAGE);
679     aml_append(var, predicate);
680     return var;
681 }
682 
683 /* ACPI 1.0b: 16.2.5.3 Type 1 Opcodes Encoding: DefElse */
684 Aml *aml_else(void)
685 {
686     Aml *var = aml_bundle(0xA1 /* ElseOp */, AML_PACKAGE);
687     return var;
688 }
689 
690 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: DefMethod */
691 Aml *aml_method(const char *name, int arg_count)
692 {
693     Aml *var = aml_bundle(0x14 /* MethodOp */, AML_PACKAGE);
694     build_append_namestring(var->buf, "%s", name);
695     build_append_byte(var->buf, arg_count); /* MethodFlags: ArgCount */
696     return var;
697 }
698 
699 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: DefDevice */
700 Aml *aml_device(const char *name_format, ...)
701 {
702     va_list ap;
703     Aml *var = aml_bundle(0x82 /* DeviceOp */, AML_EXT_PACKAGE);
704     va_start(ap, name_format);
705     build_append_namestringv(var->buf, name_format, ap);
706     va_end(ap);
707     return var;
708 }
709 
710 /* ACPI 1.0b: 6.4.1 ASL Macros for Resource Descriptors */
711 Aml *aml_resource_template(void)
712 {
713     /* ResourceTemplate is a buffer of Resources with EndTag at the end */
714     Aml *var = aml_bundle(0x11 /* BufferOp */, AML_RES_TEMPLATE);
715     return var;
716 }
717 
718 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefBuffer
719  * Pass byte_list as NULL to request uninitialized buffer to reserve space.
720  */
721 Aml *aml_buffer(int buffer_size, uint8_t *byte_list)
722 {
723     int i;
724     Aml *var = aml_bundle(0x11 /* BufferOp */, AML_BUFFER);
725 
726     for (i = 0; i < buffer_size; i++) {
727         if (byte_list == NULL) {
728             build_append_byte(var->buf, 0x0);
729         } else {
730             build_append_byte(var->buf, byte_list[i]);
731         }
732     }
733 
734     return var;
735 }
736 
737 /* ACPI 1.0b: 16.2.5.4 Type 2 Opcodes Encoding: DefPackage */
738 Aml *aml_package(uint8_t num_elements)
739 {
740     Aml *var = aml_bundle(0x12 /* PackageOp */, AML_PACKAGE);
741     build_append_byte(var->buf, num_elements);
742     return var;
743 }
744 
745 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: DefOpRegion */
746 Aml *aml_operation_region(const char *name, AmlRegionSpace rs,
747                           uint32_t offset, uint32_t len)
748 {
749     Aml *var = aml_alloc();
750     build_append_byte(var->buf, 0x5B); /* ExtOpPrefix */
751     build_append_byte(var->buf, 0x80); /* OpRegionOp */
752     build_append_namestring(var->buf, "%s", name);
753     build_append_byte(var->buf, rs);
754     build_append_int(var->buf, offset);
755     build_append_int(var->buf, len);
756     return var;
757 }
758 
759 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: NamedField */
760 Aml *aml_named_field(const char *name, unsigned length)
761 {
762     Aml *var = aml_alloc();
763     build_append_nameseg(var->buf, name);
764     build_append_pkg_length(var->buf, length, false);
765     return var;
766 }
767 
768 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: ReservedField */
769 Aml *aml_reserved_field(unsigned length)
770 {
771     Aml *var = aml_alloc();
772     /* ReservedField  := 0x00 PkgLength */
773     build_append_byte(var->buf, 0x00);
774     build_append_pkg_length(var->buf, length, false);
775     return var;
776 }
777 
778 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: DefField */
779 Aml *aml_field(const char *name, AmlAccessType type, AmlUpdateRule rule)
780 {
781     Aml *var = aml_bundle(0x81 /* FieldOp */, AML_EXT_PACKAGE);
782     uint8_t flags = rule << 5 | type;
783 
784     build_append_namestring(var->buf, "%s", name);
785     build_append_byte(var->buf, flags);
786     return var;
787 }
788 
789 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: DefCreateDWordField */
790 Aml *aml_create_dword_field(Aml *srcbuf, Aml *index, const char *name)
791 {
792     Aml *var = aml_alloc();
793     build_append_byte(var->buf, 0x8A); /* CreateDWordFieldOp */
794     aml_append(var, srcbuf);
795     aml_append(var, index);
796     build_append_namestring(var->buf, "%s", name);
797     return var;
798 }
799 
800 /* ACPI 1.0b: 16.2.3 Data Objects Encoding: String */
801 Aml *aml_string(const char *name_format, ...)
802 {
803     Aml *var = aml_opcode(0x0D /* StringPrefix */);
804     va_list ap;
805     char *s;
806     int len;
807 
808     va_start(ap, name_format);
809     len = g_vasprintf(&s, name_format, ap);
810     va_end(ap);
811 
812     g_array_append_vals(var->buf, s, len + 1);
813     g_free(s);
814 
815     return var;
816 }
817 
818 /* ACPI 1.0b: 16.2.6.2 Local Objects Encoding */
819 Aml *aml_local(int num)
820 {
821     Aml *var;
822     uint8_t op = 0x60 /* Local0Op */ + num;
823 
824     assert(num <= 7);
825     var = aml_opcode(op);
826     return var;
827 }
828 
829 /* ACPI 2.0a: 17.2.2 Data Objects Encoding: DefVarPackage */
830 Aml *aml_varpackage(uint32_t num_elements)
831 {
832     Aml *var = aml_bundle(0x13 /* VarPackageOp */, AML_PACKAGE);
833     build_append_int(var->buf, num_elements);
834     return var;
835 }
836 
837 /* ACPI 1.0b: 16.2.5.2 Named Objects Encoding: DefProcessor */
838 Aml *aml_processor(uint8_t proc_id, uint32_t pblk_addr, uint8_t pblk_len,
839                    const char *name_format, ...)
840 {
841     va_list ap;
842     Aml *var = aml_bundle(0x83 /* ProcessorOp */, AML_EXT_PACKAGE);
843     va_start(ap, name_format);
844     build_append_namestringv(var->buf, name_format, ap);
845     va_end(ap);
846     build_append_byte(var->buf, proc_id); /* ProcID */
847     build_append_int_noprefix(var->buf, pblk_addr, sizeof(pblk_addr));
848     build_append_byte(var->buf, pblk_len); /* PblkLen */
849     return var;
850 }
851 
852 static uint8_t Hex2Digit(char c)
853 {
854     if (c >= 'A') {
855         return c - 'A' + 10;
856     }
857 
858     return c - '0';
859 }
860 
861 /* ACPI 1.0b: 15.2.3.6.4.1 EISAID Macro - Convert EISA ID String To Integer */
862 Aml *aml_eisaid(const char *str)
863 {
864     Aml *var = aml_alloc();
865     uint32_t id;
866 
867     g_assert(strlen(str) == 7);
868     id = (str[0] - 0x40) << 26 |
869     (str[1] - 0x40) << 21 |
870     (str[2] - 0x40) << 16 |
871     Hex2Digit(str[3]) << 12 |
872     Hex2Digit(str[4]) << 8 |
873     Hex2Digit(str[5]) << 4 |
874     Hex2Digit(str[6]);
875 
876     build_append_byte(var->buf, 0x0C); /* DWordPrefix */
877     build_append_int_noprefix(var->buf, bswap32(id), sizeof(id));
878     return var;
879 }
880 
881 /* ACPI 1.0b: 6.4.3.5.5 Word Address Space Descriptor: bytes 3-5 */
882 static Aml *aml_as_desc_header(AmlResourceType type, AmlMinFixed min_fixed,
883                                AmlMaxFixed max_fixed, AmlDecode dec,
884                                uint8_t type_flags)
885 {
886     uint8_t flags = max_fixed | min_fixed | dec;
887     Aml *var = aml_alloc();
888 
889     build_append_byte(var->buf, type);
890     build_append_byte(var->buf, flags);
891     build_append_byte(var->buf, type_flags); /* Type Specific Flags */
892     return var;
893 }
894 
895 /* ACPI 1.0b: 6.4.3.5.5 Word Address Space Descriptor */
896 static Aml *aml_word_as_desc(AmlResourceType type, AmlMinFixed min_fixed,
897                              AmlMaxFixed max_fixed, AmlDecode dec,
898                              uint16_t addr_gran, uint16_t addr_min,
899                              uint16_t addr_max, uint16_t addr_trans,
900                              uint16_t len, uint8_t type_flags)
901 {
902     Aml *var = aml_alloc();
903 
904     build_append_byte(var->buf, 0x88); /* Word Address Space Descriptor */
905     /* minimum length since we do not encode optional fields */
906     build_append_byte(var->buf, 0x0D);
907     build_append_byte(var->buf, 0x0);
908 
909     aml_append(var,
910         aml_as_desc_header(type, min_fixed, max_fixed, dec, type_flags));
911     build_append_int_noprefix(var->buf, addr_gran, sizeof(addr_gran));
912     build_append_int_noprefix(var->buf, addr_min, sizeof(addr_min));
913     build_append_int_noprefix(var->buf, addr_max, sizeof(addr_max));
914     build_append_int_noprefix(var->buf, addr_trans, sizeof(addr_trans));
915     build_append_int_noprefix(var->buf, len, sizeof(len));
916     return var;
917 }
918 
919 /* ACPI 1.0b: 6.4.3.5.3 DWord Address Space Descriptor */
920 static Aml *aml_dword_as_desc(AmlResourceType type, AmlMinFixed min_fixed,
921                               AmlMaxFixed max_fixed, AmlDecode dec,
922                               uint32_t addr_gran, uint32_t addr_min,
923                               uint32_t addr_max, uint32_t addr_trans,
924                               uint32_t len, uint8_t type_flags)
925 {
926     Aml *var = aml_alloc();
927 
928     build_append_byte(var->buf, 0x87); /* DWord Address Space Descriptor */
929     /* minimum length since we do not encode optional fields */
930     build_append_byte(var->buf, 23);
931     build_append_byte(var->buf, 0x0);
932 
933 
934     aml_append(var,
935         aml_as_desc_header(type, min_fixed, max_fixed, dec, type_flags));
936     build_append_int_noprefix(var->buf, addr_gran, sizeof(addr_gran));
937     build_append_int_noprefix(var->buf, addr_min, sizeof(addr_min));
938     build_append_int_noprefix(var->buf, addr_max, sizeof(addr_max));
939     build_append_int_noprefix(var->buf, addr_trans, sizeof(addr_trans));
940     build_append_int_noprefix(var->buf, len, sizeof(len));
941     return var;
942 }
943 
944 /* ACPI 1.0b: 6.4.3.5.1 QWord Address Space Descriptor */
945 static Aml *aml_qword_as_desc(AmlResourceType type, AmlMinFixed min_fixed,
946                               AmlMaxFixed max_fixed, AmlDecode dec,
947                               uint64_t addr_gran, uint64_t addr_min,
948                               uint64_t addr_max, uint64_t addr_trans,
949                               uint64_t len, uint8_t type_flags)
950 {
951     Aml *var = aml_alloc();
952 
953     build_append_byte(var->buf, 0x8A); /* QWord Address Space Descriptor */
954     /* minimum length since we do not encode optional fields */
955     build_append_byte(var->buf, 0x2B);
956     build_append_byte(var->buf, 0x0);
957 
958     aml_append(var,
959         aml_as_desc_header(type, min_fixed, max_fixed, dec, type_flags));
960     build_append_int_noprefix(var->buf, addr_gran, sizeof(addr_gran));
961     build_append_int_noprefix(var->buf, addr_min, sizeof(addr_min));
962     build_append_int_noprefix(var->buf, addr_max, sizeof(addr_max));
963     build_append_int_noprefix(var->buf, addr_trans, sizeof(addr_trans));
964     build_append_int_noprefix(var->buf, len, sizeof(len));
965     return var;
966 }
967 
968 /*
969  * ACPI 1.0b: 6.4.3.5.6 ASL Macros for WORD Address Descriptor
970  *
971  * More verbose description at:
972  * ACPI 5.0: 19.5.141 WordBusNumber (Word Bus Number Resource Descriptor Macro)
973  */
974 Aml *aml_word_bus_number(AmlMinFixed min_fixed, AmlMaxFixed max_fixed,
975                          AmlDecode dec, uint16_t addr_gran,
976                          uint16_t addr_min, uint16_t addr_max,
977                          uint16_t addr_trans, uint16_t len)
978 
979 {
980     return aml_word_as_desc(AML_BUS_NUMBER_RANGE, min_fixed, max_fixed, dec,
981                             addr_gran, addr_min, addr_max, addr_trans, len, 0);
982 }
983 
984 /*
985  * ACPI 1.0b: 6.4.3.5.6 ASL Macros for WORD Address Descriptor
986  *
987  * More verbose description at:
988  * ACPI 5.0: 19.5.142 WordIO (Word IO Resource Descriptor Macro)
989  */
990 Aml *aml_word_io(AmlMinFixed min_fixed, AmlMaxFixed max_fixed,
991                  AmlDecode dec, AmlISARanges isa_ranges,
992                  uint16_t addr_gran, uint16_t addr_min,
993                  uint16_t addr_max, uint16_t addr_trans,
994                  uint16_t len)
995 
996 {
997     return aml_word_as_desc(AML_IO_RANGE, min_fixed, max_fixed, dec,
998                             addr_gran, addr_min, addr_max, addr_trans, len,
999                             isa_ranges);
1000 }
1001 
1002 /*
1003  * ACPI 1.0b: 6.4.3.5.4 ASL Macros for DWORD Address Descriptor
1004  *
1005  * More verbose description at:
1006  * ACPI 5.0: 19.5.33 DWordIO (DWord IO Resource Descriptor Macro)
1007  */
1008 Aml *aml_dword_io(AmlMinFixed min_fixed, AmlMaxFixed max_fixed,
1009                  AmlDecode dec, AmlISARanges isa_ranges,
1010                  uint32_t addr_gran, uint32_t addr_min,
1011                  uint32_t addr_max, uint32_t addr_trans,
1012                  uint32_t len)
1013 
1014 {
1015     return aml_dword_as_desc(AML_IO_RANGE, min_fixed, max_fixed, dec,
1016                             addr_gran, addr_min, addr_max, addr_trans, len,
1017                             isa_ranges);
1018 }
1019 
1020 /*
1021  * ACPI 1.0b: 6.4.3.5.4 ASL Macros for DWORD Address Space Descriptor
1022  *
1023  * More verbose description at:
1024  * ACPI 5.0: 19.5.34 DWordMemory (DWord Memory Resource Descriptor Macro)
1025  */
1026 Aml *aml_dword_memory(AmlDecode dec, AmlMinFixed min_fixed,
1027                       AmlMaxFixed max_fixed, AmlCacheable cacheable,
1028                       AmlReadAndWrite read_and_write,
1029                       uint32_t addr_gran, uint32_t addr_min,
1030                       uint32_t addr_max, uint32_t addr_trans,
1031                       uint32_t len)
1032 {
1033     uint8_t flags = read_and_write | (cacheable << 1);
1034 
1035     return aml_dword_as_desc(AML_MEMORY_RANGE, min_fixed, max_fixed,
1036                              dec, addr_gran, addr_min, addr_max,
1037                              addr_trans, len, flags);
1038 }
1039 
1040 /*
1041  * ACPI 1.0b: 6.4.3.5.2 ASL Macros for QWORD Address Space Descriptor
1042  *
1043  * More verbose description at:
1044  * ACPI 5.0: 19.5.102 QWordMemory (QWord Memory Resource Descriptor Macro)
1045  */
1046 Aml *aml_qword_memory(AmlDecode dec, AmlMinFixed min_fixed,
1047                       AmlMaxFixed max_fixed, AmlCacheable cacheable,
1048                       AmlReadAndWrite read_and_write,
1049                       uint64_t addr_gran, uint64_t addr_min,
1050                       uint64_t addr_max, uint64_t addr_trans,
1051                       uint64_t len)
1052 {
1053     uint8_t flags = read_and_write | (cacheable << 1);
1054 
1055     return aml_qword_as_desc(AML_MEMORY_RANGE, min_fixed, max_fixed,
1056                              dec, addr_gran, addr_min, addr_max,
1057                              addr_trans, len, flags);
1058 }
1059 
1060 static uint8_t Hex2Byte(const char *src)
1061 {
1062     int hi, lo;
1063 
1064     hi = Hex2Digit(src[0]);
1065     assert(hi >= 0);
1066     assert(hi <= 15);
1067 
1068     lo = Hex2Digit(src[1]);
1069     assert(lo >= 0);
1070     assert(lo <= 15);
1071     return (hi << 4) | lo;
1072 }
1073 
1074 /*
1075  * ACPI 3.0: 17.5.124 ToUUID (Convert String to UUID Macro)
1076  * e.g. UUID: aabbccdd-eeff-gghh-iijj-kkllmmnnoopp
1077  * call aml_touuid("aabbccdd-eeff-gghh-iijj-kkllmmnnoopp");
1078  */
1079 Aml *aml_touuid(const char *uuid)
1080 {
1081     Aml *var = aml_bundle(0x11 /* BufferOp */, AML_BUFFER);
1082 
1083     assert(strlen(uuid) == 36);
1084     assert(uuid[8] == '-');
1085     assert(uuid[13] == '-');
1086     assert(uuid[18] == '-');
1087     assert(uuid[23] == '-');
1088 
1089     build_append_byte(var->buf, Hex2Byte(uuid + 6));  /* dd - at offset 00 */
1090     build_append_byte(var->buf, Hex2Byte(uuid + 4));  /* cc - at offset 01 */
1091     build_append_byte(var->buf, Hex2Byte(uuid + 2));  /* bb - at offset 02 */
1092     build_append_byte(var->buf, Hex2Byte(uuid + 0));  /* aa - at offset 03 */
1093 
1094     build_append_byte(var->buf, Hex2Byte(uuid + 11)); /* ff - at offset 04 */
1095     build_append_byte(var->buf, Hex2Byte(uuid + 9));  /* ee - at offset 05 */
1096 
1097     build_append_byte(var->buf, Hex2Byte(uuid + 16)); /* hh - at offset 06 */
1098     build_append_byte(var->buf, Hex2Byte(uuid + 14)); /* gg - at offset 07 */
1099 
1100     build_append_byte(var->buf, Hex2Byte(uuid + 19)); /* ii - at offset 08 */
1101     build_append_byte(var->buf, Hex2Byte(uuid + 21)); /* jj - at offset 09 */
1102 
1103     build_append_byte(var->buf, Hex2Byte(uuid + 24)); /* kk - at offset 10 */
1104     build_append_byte(var->buf, Hex2Byte(uuid + 26)); /* ll - at offset 11 */
1105     build_append_byte(var->buf, Hex2Byte(uuid + 28)); /* mm - at offset 12 */
1106     build_append_byte(var->buf, Hex2Byte(uuid + 30)); /* nn - at offset 13 */
1107     build_append_byte(var->buf, Hex2Byte(uuid + 32)); /* oo - at offset 14 */
1108     build_append_byte(var->buf, Hex2Byte(uuid + 34)); /* pp - at offset 15 */
1109 
1110     return var;
1111 }
1112 
1113 /*
1114  * ACPI 2.0b: 16.2.3.6.4.3  Unicode Macro (Convert Ascii String To Unicode)
1115  */
1116 Aml *aml_unicode(const char *str)
1117 {
1118     int i = 0;
1119     Aml *var = aml_bundle(0x11 /* BufferOp */, AML_BUFFER);
1120 
1121     do {
1122         build_append_byte(var->buf, str[i]);
1123         build_append_byte(var->buf, 0);
1124         i++;
1125     } while (i <= strlen(str));
1126 
1127     return var;
1128 }
1129 
1130 void
1131 build_header(GArray *linker, GArray *table_data,
1132              AcpiTableHeader *h, const char *sig, int len, uint8_t rev)
1133 {
1134     memcpy(&h->signature, sig, 4);
1135     h->length = cpu_to_le32(len);
1136     h->revision = rev;
1137     memcpy(h->oem_id, ACPI_BUILD_APPNAME6, 6);
1138     memcpy(h->oem_table_id, ACPI_BUILD_APPNAME4, 4);
1139     memcpy(h->oem_table_id + 4, sig, 4);
1140     h->oem_revision = cpu_to_le32(1);
1141     memcpy(h->asl_compiler_id, ACPI_BUILD_APPNAME4, 4);
1142     h->asl_compiler_revision = cpu_to_le32(1);
1143     h->checksum = 0;
1144     /* Checksum to be filled in by Guest linker */
1145     bios_linker_loader_add_checksum(linker, ACPI_BUILD_TABLE_FILE,
1146                                     table_data->data, h, len, &h->checksum);
1147 }
1148 
1149 void *acpi_data_push(GArray *table_data, unsigned size)
1150 {
1151     unsigned off = table_data->len;
1152     g_array_set_size(table_data, off + size);
1153     return table_data->data + off;
1154 }
1155 
1156 unsigned acpi_data_len(GArray *table)
1157 {
1158 #if GLIB_CHECK_VERSION(2, 22, 0)
1159     assert(g_array_get_element_size(table) == 1);
1160 #endif
1161     return table->len;
1162 }
1163 
1164 void acpi_add_table(GArray *table_offsets, GArray *table_data)
1165 {
1166     uint32_t offset = cpu_to_le32(table_data->len);
1167     g_array_append_val(table_offsets, offset);
1168 }
1169 
1170 void acpi_build_tables_init(AcpiBuildTables *tables)
1171 {
1172     tables->rsdp = g_array_new(false, true /* clear */, 1);
1173     tables->table_data = g_array_new(false, true /* clear */, 1);
1174     tables->tcpalog = g_array_new(false, true /* clear */, 1);
1175     tables->linker = bios_linker_loader_init();
1176 }
1177 
1178 void acpi_build_tables_cleanup(AcpiBuildTables *tables, bool mfre)
1179 {
1180     void *linker_data = bios_linker_loader_cleanup(tables->linker);
1181     g_free(linker_data);
1182     g_array_free(tables->rsdp, true);
1183     g_array_free(tables->table_data, true);
1184     g_array_free(tables->tcpalog, mfre);
1185 }
1186 
1187 /* Build rsdt table */
1188 void
1189 build_rsdt(GArray *table_data, GArray *linker, GArray *table_offsets)
1190 {
1191     AcpiRsdtDescriptorRev1 *rsdt;
1192     size_t rsdt_len;
1193     int i;
1194     const int table_data_len = (sizeof(uint32_t) * table_offsets->len);
1195 
1196     rsdt_len = sizeof(*rsdt) + table_data_len;
1197     rsdt = acpi_data_push(table_data, rsdt_len);
1198     memcpy(rsdt->table_offset_entry, table_offsets->data, table_data_len);
1199     for (i = 0; i < table_offsets->len; ++i) {
1200         /* rsdt->table_offset_entry to be filled by Guest linker */
1201         bios_linker_loader_add_pointer(linker,
1202                                        ACPI_BUILD_TABLE_FILE,
1203                                        ACPI_BUILD_TABLE_FILE,
1204                                        table_data, &rsdt->table_offset_entry[i],
1205                                        sizeof(uint32_t));
1206     }
1207     build_header(linker, table_data,
1208                  (void *)rsdt, "RSDT", rsdt_len, 1);
1209 }
1210