#include <mpcomm.h>
Structure for free() request.
Core CPU ID that is requesting free. See cpuid_t
The address of the allocated memory to be freed by the supervisor.