Lines Matching defs:value
302 uint64_t value;
308 .value = (_value), \
1899 uint64_t value;
1923 value = 0;
1928 value = CPU_DESC_FIELD(user_cpu_desc, i);
1930 value = CPU_DESC_FIELD(l_user_cpu_desc, i);
1938 value = READ_SPECIALREG(midr_el1);
1941 value = READ_SPECIALREG(mpidr_el1);
1944 value = READ_SPECIALREG(revidr_el1);
1963 frame->tf_x[reg] = value;
1965 frame->tf_lr = value;
2014 * If the new value is less than the existing value update it.
2028 uint64_t value;
2033 value = CPU_DESC_FIELD(user_cpu_desc, i);
2034 *val = value >> field_shift;
2058 * Fetch the specified register's value, ensuring that individual field values
2084 update_special_reg_field(uint64_t user_reg, u_int type, uint64_t value,
2093 user_reg = update_lower_register(user_reg, value, shift, 4,
2108 uint64_t l_user_reg, user_reg, kern_reg, value;
2125 value = CPU_DESC_FIELD(*desc, i);
2127 kern_reg = value;
2128 user_reg = value;
2129 l_user_reg = value;
2140 fields[j].type >> MRS_TYPE_FBSD_SHIFT, value,
2145 fields[j].type >> MRS_TYPE_LNX_SHIFT, value,
2149 kern_reg = update_lower_register(kern_reg, value,
2221 * value we can set the hwcap;
2440 if ((fv[j].value >> fields[i].shift) != field)