Remove bsd/include/pthread_np.h

The header file "bsd/include/pthread_np.h" is not needed, and the only
place that includes it, didn't have to.

The definitions in that file only introduce a chance of collision with
similar definitions in api/pthread.h (e.g., in an upcoming patch for adding
pthread_attr_setaffinity_np), so better not have them at all.

Signed-off-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Httpserver: add to "make clean"

Add httpserver cleanup to "make clean" (previously this was in mgmt/'s
Makefile, but now we moved it out of mgmt and need to fix "make clean" too).

Signed-off-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
fs: add chown stub

Reviewed-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Takuya ASADA <syuu@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
math: Add __isinff

Reviewed-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Takuya ASADA <syuu@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
mempool: limit max_object_size to page_size / 4

Because of the page_header mempool allocator can put only one half-page
sized object in a page. Page allocator has exactly the same space overhead
but is much simpler (no need for setting up page_header, freeing objects
allocated on another CPU is trivial).

Signed-off-by: Paweł Dziepak <pdziepak@quarnos.org>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>
mempool: replace MALLOC_ALIGNMENT with alignof(max_align_t)

Signed-off-by: Paweł Dziepak <pdziepak@quarnos.org>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>
mempool: set default alignment to min(size, alignof(max_align_t))

Signed-off-by: Paweł Dziepak <pdziepak@quarnos.org>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>
mempool: don't increase size of arbitrary aligned objects

This is just a rewrite of a conditionals that are responsible for
choosing appropriate allocator for a requested size and alignment.
The allocator is given the object size exactly as requested.

Signed-off-by: Paweł Dziepak <pdziepak@quarnos.org>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>