intel_free_memory
intel_free_memory(gInfo->context_base);
extern void intel_free_memory(addr_t base);
intel_free_memory(sharedInfo.frame_buffer);
intel_free_memory(overlay->buffer_base);
intel_free_memory(overlay->buffer_base);
intel_free_memory(overlay->state_base);
return intel_free_memory(*info, freeMemory.buffer_base);
extern status_t intel_free_memory(intel_info& info, addr_t offset);