Changeset View
Changeset View
Standalone View
Standalone View
head/sys/dev/acpica/acpi_timer.c
Show First 20 Lines • Show All 146 Lines • ▼ Show 20 Lines | acpi_timer_identify(driver_t *driver, device_t parent) | ||||
break; | break; | ||||
default: | default: | ||||
return_VOID; | return_VOID; | ||||
} | } | ||||
rid = 0; | rid = 0; | ||||
rlen = AcpiGbl_FADT.PmTimerLength; | rlen = AcpiGbl_FADT.PmTimerLength; | ||||
rstart = AcpiGbl_FADT.XPmTimerBlock.Address; | rstart = AcpiGbl_FADT.XPmTimerBlock.Address; | ||||
if (bus_set_resource(dev, rtype, rid, rstart, rlen)) | if (bus_set_resource(dev, rtype, rid, rstart, rlen)) | ||||
device_printf(dev, "couldn't set resource (%s 0x%lx+0x%lx)\n", | device_printf(dev, "couldn't set resource (%s 0x%jx+0x%jx)\n", | ||||
(rtype == SYS_RES_IOPORT) ? "port" : "mem", rstart, rlen); | (rtype == SYS_RES_IOPORT) ? "port" : "mem", rstart, rlen); | ||||
return_VOID; | return_VOID; | ||||
} | } | ||||
static int | static int | ||||
acpi_timer_probe(device_t dev) | acpi_timer_probe(device_t dev) | ||||
{ | { | ||||
char desc[40]; | char desc[40]; | ||||
▲ Show 20 Lines • Show All 306 Lines • Show Last 20 Lines |