We investigate Bochner integrabilities of generalized Wiener functionals. We further formulate an Itô formula for a diffusion in a distributional setting, and apply it to investigate differentiability-index s and integrabilityindex p 2 for which the Bochner integral belongs to D s p .T 0 δ y (X t )dt as a Bochner integral in the space of generalized Wiener functional. We remark here the Bochner integrability seems nontrivial when y = X 0 , since δ y (X t ) no longer makes sense at t = 0. On the other hand, the local time is usually formulated as a classical Wiener functional. Hence, once the Bochner integrability is proved, a "smoothing effect" should occur in the Bochner integral T 0 δ y (X t )dt, i.e., the differentiability-index for T 0 δ y (X t )dt, should be greater than that of δ y (X t ).