ID32_DECODE
return (((void **)(uintptr_t)ID32_DECODE(id))[0]);
#define ID32_VALID(x) (ID32_ENCODE(ID32_DECODE(x)) == (x))
#define ID32_VALID(x) (ID32_ENCODE(ID32_DECODE(x)) == (x))
kmem_cache_free(id32_cache, (void *)(uintptr_t)ID32_DECODE(id));