def AcpiExample.bgrt
import bend-osdev-acpi@0.1.1.0/example.bend as Exampleimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/bgrt.bend as Bg
220def AcpiExample.bgrt() -> Bg.AcpiBgrt:
221 Bg.AcpiBgrt{ex.hdr("BGRT", 1), 1, 1, 0, W.W64.from_u32(2113929216), 100, 200}