ID32_ALIGN
#define ID32_MOD (ID32_ALIGN - 1)
#define ID32_DECODE(x) (P2ALIGN((x), (uintptr_t)ID32_ALIGN) + \
#define ID32_DECODE(x) P2ALIGN((x), ID32_ALIGN)
id32_cache = kmem_cache_create("id32_cache", ID32_ALIGN, ID32_ALIGN,