40 #define ACPI_TIMER_HZ 3579545 48 #define ACPI_TIMER_MASK 0x00ffffffUL 61 static unsigned long offset;
96 }
while ( elapsed < threshold );
112 DBGC ( &acpi_timer,
"ACPI could not find FADT\n" );
120 DBGC ( &acpi_timer,
"ACPI has no timer\n" );
struct timer acpi_timer __timer(TIMER_PREFERRED)
ACPI timer.
#define TICKS_PER_SEC
Number of ticks per second.
#define le32_to_cpu(value)
static int acpi_timer_probe(void)
Probe ACPI power management timer.
static __always_inline void copy_from_user(void *dest, userptr_t src, off_t src_off, size_t len)
Copy data from user buffer.
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
userptr_t acpi_table(uint32_t signature, unsigned int index)
Locate ACPI table.
#define ENOENT
No such file or directory.
#define ACPI_PM_TMR
ACPI PM Timer Register (within PM_TMR_BLK)
#define ACPI_TIMER_HZ
ACPI timer frequency (fixed 3.579545MHz)
uint32_t start
Starting offset.
static unsigned long acpi_currticks(void)
Get current system time in ticks.
uint32_t userptr_t
A pointer to a user buffer.
uint32_t pm_tmr_blk
PM Timer Control Register Block.
Fixed ACPI Description Table (FADT)
#define TIMER_PREFERRED
Preferred timer.
static unsigned int pm_tmr
Power management timer register address.
#define FADT_SIGNATURE
Fixed ACPI Description Table (FADT) signature.
#define ACPI_TIMER_MASK
ACPI timer mask.
static void acpi_udelay(unsigned long usecs)
Delay for a fixed number of microseconds.
uint32_t inl(volatile uint32_t *io_addr)
Read 32-bit dword from I/O-mapped device.
uint16_t offset
Offset to command line.