include <stdint.h>

void *p = 0xc8f68000;
uint64_t v = (uintptr_t)p;