[kbuild-all] [dlezcano:timers/drivers/next 5/22] drivers/clocksource/timer-of.c:151:24: sparse: sparse: incorrect type in argument 1 (different address spaces)