log2_to_max_int_t
log2_to_max_int_t(u32, ffz_t(u32, val)));
log2_to_max_int_t(u64, ffz_t(u64, val)));
#define log2_to_max_int(a_lg2) log2_to_max_int_t(pt_vaddr_t, a_lg2)
#define oalog2_to_max_int(a_lg2) log2_to_max_int_t(pt_oaddr_t, a_lg2)
((type)(((type)a) & log2_to_max_int_t(type, b_lg2)))
(log2_mod_t(type, a, b_lg2) == log2_to_max_int_t(type, b_lg2))
((((type)(a)) & (~log2_to_max_int_t(type, b_lg2))) | ((type)(val)))
(((type)(a)) | log2_to_max_int_t(type, b_lg2))