CONFIG_SUNXI_TIMER is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_SUNXI_TIMER.
Result is shown for kernelversion 5.4.159
CONFIG_SUNXI_TIMER (not configurable)
modulename: sunxi_timer.ko
configname: CONFIG_SUNXI_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>SUNXI_TIMER