acpi_rsdp
rsdp = acpi_rsdp();
vm_offset_t acpi_rsdp(void);
if (kenv(KENV_GET, acpi_rsdp, buf, 20) > 0)
static char acpi_rsdp[] = "acpi.rsdp";