Function ext_php_rs::alloc::efree[−][src]

pub unsafe fn efree(ptr: *mut u8)
Expand description

Frees a given memory pointer which was allocated through the PHP memory manager.

Parameters

  • ptr - The pointer to the memory to free.

Safety

Caller must guarantee that the given pointer is valid (aligned and non-null) and was originally allocated through the Zend memory manager.