Function ext_php_rs::alloc::efree

pub unsafe fn efree(ptr: *mut u8)

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.