change the sigunature of __div_kernel