CONFIG_HVC_IRQ (not configurable)

modulename: hvc_irq.ko

configname: CONFIG_HVC_IRQ

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>HVC_IRQ
In linux kernel since version 2.6.27 (release Date: 2008-10-09)  
source code: