log2_div_eq_t
#define log2_div_eq(a, b, c_lg2) log2_div_eq_t(pt_vaddr_t, a, b, c_lg2)
return log2_div_eq_t(pt_vaddr_t, a, b, c_lg2);
#define oalog2_div_eq(a, b, c_lg2) log2_div_eq_t(pt_oaddr_t, a, b, c_lg2)
static_assert(log2_div_eq_t(unsigned int, 1, 1, 2));