def AcpiExample.rsdp_address

bend-osdev-acpi@0.1.1.0 · example.bend:39

import bend-osdev-acpi@0.1.1.0/example.bend as Example

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

39# Physical addresses
40def AcpiExample.rsdp_address() -> W.W64:
41  W.W64.from_u32(917520)

Uses (2)

Used by (1)

bend-osdev-acpi@0.1.1.0/check:main