Lines Matching defs:val
97 void setKernelControl(uint32_t val) { _regCntkctl = val; }
100 void setHypControl(uint32_t val) { _regCnthctl = val; }
163 void setCompareValue(uint64_t val);
168 void setTimerValue(uint32_t val);
172 void setControl(uint32_t val);
175 void setOffset(uint64_t val);
226 void setMiscReg(int misc_reg, unsigned cpu, RegVal val);
289 void setMiscReg(int misc_reg, RegVal val) override;