doc(interrupt): remove type casting to uint64_t

The type taken by the function is void* but here we are passing uint64_t is this right?