get_kernel_reg_iss_masked
void get_kernel_reg_iss_masked(u_int, uint64_t *, uint64_t);
get_kernel_reg_iss_masked(reg ## _ISS, valp, mask)
get_kernel_reg_iss_masked(reg ## _ISS, ®s->field, \