Searched refs:whpx_set_kernel_irqchip (Results 1 – 1 of 1) sorted by relevance
2478 static void whpx_set_kernel_irqchip(Object *obj, Visitor *v, in whpx_set_kernel_irqchip() function2720 NULL, whpx_set_kernel_irqchip, in whpx_accel_class_init()