okay, aber wie arbeite ich dann damit, normalerweise soll pmm_free nen pointer übergeben werden, bzw. pmm_mark_used.
wenn ich jetzt mit nem pointer nicht arbeiten kann was mach ich dann? casten kann ichs nicht, weil er mir dann sagt, dass ich nen cast von nem pointer zu integer verschiedener größe mache obwohl ich uint64_t var = (uint64_t) addrptr hab. wie mach ich dass, ich hab ja noch so meine wissenlücken was c betrifft.