/*
 * Needs to be called manually before exiting Clover.efi module.
 */
void destruct_globals_objects(void *f);