_kfree_obj
void _kfree_obj(void *addr, struct malloc_type *type) __nonnull(2);
#define kfree_obj(addr, type) _kfree_obj(addr, type##_obj)