ixl_sysctl_hw_res_alloc
pf, 0, ixl_sysctl_hw_res_alloc, "A", "HW Resource Allocation");
static int ixl_sysctl_hw_res_alloc(SYSCTL_HANDLER_ARGS);