__type_max_u
#define __type_max(t) (__type_is_signed(t) ? __type_max_s(t) : __type_max_u(t))
(__UINTMAX_TYPE__)__type_max_u(t)))
const vaddr_t vmax = __type_max_u(vaddr_t);
const paddr_t pmax = __type_max_u(paddr_t);
#define __type_max(t) (__type_is_signed(t) ? __type_max_s(t) : __type_max_u(t))
#define __type_max(t) (__type_is_signed(t) ? __type_max_s(t) : __type_max_u(t))