Add inline to acpi_timer_read() to reduce unnecessary jumps and calls.

This commit is contained in:
jkim 2011-04-04 16:47:42 +00:00
parent 6d33997006
commit ffdcd9464d

View File

@ -71,7 +71,6 @@ static u_int acpi_timer_get_timecount_safe(struct timecounter *tc);
static int acpi_timer_sysctl_freq(SYSCTL_HANDLER_ARGS);
static void acpi_timer_boot_test(void);
static u_int acpi_timer_read(void);
static int acpi_timer_test(void);
static device_method_t acpi_timer_methods[] = {
@ -101,9 +100,10 @@ static struct timecounter acpi_timer_timecounter = {
-1 /* quality (chosen later) */
};
static u_int
acpi_timer_read()
static __inline uint32_t
acpi_timer_read(void)
{
return (bus_space_read_4(acpi_timer_bst, acpi_timer_bsh, 0));
}