bus: add and use UINT64_TO_PTR()