log2_set_mod_t
#define log2_set_mod(a, val, b_lg2) log2_set_mod_t(pt_vaddr_t, a, val, b_lg2)
return log2_set_mod_t(pt_vaddr_t, a, val, b_lg2);
#define oalog2_set_mod(a, val, b_lg2) log2_set_mod_t(pt_oaddr_t, a, val, b_lg2)
static_assert(log2_set_mod_t(unsigned int, 3, 1, 2) == 1);