null pointer dereference error in time-efm32.c

Hello. My name is Yongbae Park. I would like to report a possible null pointer dereference error at efm32_clock_event_handler() in drivers/clocksource/time-efm32.c (version: 3.19-rc5). The null pointer dereference error occurs if the interrupt handler efm32_clock_event_handler() accesses

null pointer dereference error in time-efm32.c

Hello. My name is Yongbae Park. I would like to report a possible null pointer dereference error at efm32_clock_event_handler() in drivers/clocksource/time-efm32.c (version: 3.19-rc5). The null pointer dereference error occurs if the interrupt handler efm32_clock_event_handler() accesses