type AcpiBgrt
import bend-osdev-acpi@0.1.1.0/bgrt.bend as Bgrtimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-acpi@0.1.1.0/header.bend as H
19type AcpiBgrt is Data:
20 AcpiBgrt{header: H.AcpiHeader, version: U32, status: U32, image_type: U32, image_address: W.W64, offset_x: U32, offset_y: U32}