Searched defs:valh (Results 1 – 2 of 2) sorted by relevance
328 uint64_t valh, tmp; in do_strtosz() local
2058 uint64_t valh = (uint64_t)val << 32; in write_mstatush() local3232 uint64_t valh = (uint64_t)val << 32; in write_menvcfgh() local3373 uint64_t valh = (uint64_t)val << 32; in write_henvcfgh() local