The ktime_t error

Problem:

Compilation of the kernel throws up the following error:

timed_gpio.c: In function 'gpio_enable_show':
timed_gpio.c:52: error: 'ktime_t' has no member named 'tv'
timed_gpio.c:52: error: 'ktime_t' has no member named 'tv'

Solution:

Union member 'tv' is in an #ifndef block specific to 32-bit architectures. There is a field 'tv64' available for 64-bit but I'm not sure how to fix it yet. Suggest using 32-bit build environment.