core: now using 64bit in bh_view_disjoint()
core: now using 64bit in bh_view_disjoint()

bh107/bohrium,madsbk/bohrium,madsbk/bohrium,madsbk/bohrium,madsbk/bohrium,bh107/bohrium,bh107/bohrium,bh107/bohrium