#include <stdlib.h>
#include <string.h>
#include "PpeScheduler.h"

void*
PpeScheduler::allocate(int size)
{
    void *buff;
    
    posix_memalign(&buff, DEFAULT_ALIGNMENT, size);
    bzero(buff, size);

    return buff;
}