Symbol: get_kernel_reg_iss_masked