#include <stddef.h>
#include <http.h>
#include <interrupt.h>
#include <semaphore.h>
Free an allocated HTTP device.