Lines Matching defs:value
240 * Get the value of the hardware cycle counter in the guest.
369 void setOneReg(uint64_t id, uint64_t value) { setOneReg(id, &value); }
370 void setOneReg(uint64_t id, uint32_t value) { setOneReg(id, &value); }
373 uint64_t value;
374 getOneReg(id, &value);
375 return value;
378 uint32_t value;
379 getOneReg(id, &value);
380 return value;
563 * value otherwise.