stand/kboot/kboot/arch/aarch64/exec.c

166

rsdp = acpi_rsdp();

stand/kboot/kboot/arch/amd64/elf64_freebsd.c

207

rsdp = acpi_rsdp();

stand/kboot/kboot/kboot.h

17

vm_offset_t acpi_rsdp(void);

sys/dev/coreboot/coreboot.c

1356

(uintmax_t)sc->acpi_rsdp);

sys/dev/coreboot/coreboot.c

416

sc->acpi_rsdp = rsdp->rsdp_pointer;

sys/dev/coreboot/coreboot.c

749

SC_OFF(acpi_rsdp), CB_GUARD_FLAG_SET, SC_OFF(has_acpi_rsdp),

sys/dev/coreboot/coreboot.h

450

uint64_t acpi_rsdp;

usr.sbin/acpi/acpidump/acpi_user.c

175

if (kenv(KENV_GET, acpi_rsdp, buf, 20) > 0)

usr.sbin/acpi/acpidump/acpi_user.c

45

static char acpi_rsdp[] = "acpi.rsdp";