The way that intel_init() and amd64_init() are currently implemented, they always allocate new space, so this should probably be a free() and set to NULL if this is allowed.