drivers: timer: Explicitly setting argument as unused

Marking as unused (ARG_UNUSED) the parameter device in the
initialization function z_clock_driver_init when it is not used.

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
This commit is contained in:
Flavio Ceolin 2019-07-17 21:32:19 -07:00 committed by Anas Nashif
commit e1e4a402e2
6 changed files with 12 additions and 0 deletions

View file

@ -217,6 +217,8 @@ int z_clock_driver_init(struct device *device)
{ {
uint32_t val; uint32_t val;
ARG_UNUSED(device);
val = x86_read_loapic(LOAPIC_TIMER_CONFIG); /* set divider */ val = x86_read_loapic(LOAPIC_TIMER_CONFIG); /* set divider */
val &= ~DCR_DIVIDER_MASK; val &= ~DCR_DIVIDER_MASK;
val |= DCR_DIVIDER; val |= DCR_DIVIDER;

View file

@ -151,6 +151,8 @@ void z_clock_isr(void *arg)
int z_clock_driver_init(struct device *device) int z_clock_driver_init(struct device *device)
{ {
ARG_UNUSED(device);
NVIC_SetPriority(SysTick_IRQn, _IRQ_PRIO_OFFSET); NVIC_SetPriority(SysTick_IRQn, _IRQ_PRIO_OFFSET);
last_load = CYC_PER_TICK - 1; last_load = CYC_PER_TICK - 1;
overflow_cyc = 0U; overflow_cyc = 0U;

View file

@ -121,6 +121,8 @@ int z_clock_driver_init(struct device *device)
extern int z_clock_hw_cycles_per_sec; extern int z_clock_hw_cycles_per_sec;
uint32_t hz; uint32_t hz;
ARG_UNUSED(device);
DEVICE_MMIO_TOPLEVEL_MAP(hpet_regs, K_MEM_CACHE_NONE); DEVICE_MMIO_TOPLEVEL_MAP(hpet_regs, K_MEM_CACHE_NONE);
IRQ_CONNECT(DT_INST_IRQN(0), IRQ_CONNECT(DT_INST_IRQN(0),

View file

@ -81,6 +81,8 @@ static void timer_isr(void *arg)
int z_clock_driver_init(struct device *device) int z_clock_driver_init(struct device *device)
{ {
ARG_UNUSED(device);
IRQ_CONNECT(RISCV_MACHINE_TIMER_IRQ, 0, timer_isr, NULL, 0); IRQ_CONNECT(RISCV_MACHINE_TIMER_IRQ, 0, timer_isr, NULL, 0);
last_count = mtime(); last_count = mtime();
set_mtimecmp(last_count + CYC_PER_TICK); set_mtimecmp(last_count + CYC_PER_TICK);

View file

@ -25,6 +25,8 @@ void __weak z_clock_isr(void *arg)
int __weak z_clock_driver_init(struct device *device) int __weak z_clock_driver_init(struct device *device)
{ {
ARG_UNUSED(device);
return 0; return 0;
} }

View file

@ -59,6 +59,8 @@ static void ccompare_isr(void *arg)
int z_clock_driver_init(struct device *device) int z_clock_driver_init(struct device *device)
{ {
ARG_UNUSED(device);
IRQ_CONNECT(TIMER_IRQ, 0, ccompare_isr, 0, 0); IRQ_CONNECT(TIMER_IRQ, 0, ccompare_isr, 0, 0);
set_ccompare(ccount() + CYC_PER_TICK); set_ccompare(ccount() + CYC_PER_TICK);
irq_enable(TIMER_IRQ); irq_enable(TIMER_IRQ);