type AcpiFadtLens

bend-osdev-acpi@0.1.1.0 · fadt.bend:33

import Base

33# their lengths in bytes, and GPE1_BASE
34type AcpiFadtLens is Data:
35  AcpiFadtLens{pm1_evt: U32, pm1_cnt: U32, pm2_cnt: U32, pm_tmr: U32, gpe0: U32, gpe1: U32, gpe1_base: U32}