fix call of dcache domain function