Searched refs:res32 (Results 1 – 1 of 1) sorted by relevance
4567 uint32_t res32; in umtx_read_uptr() local4571 error = fueword32((void *)ptr, &res32); in umtx_read_uptr()4573 res1 = res32; in umtx_read_uptr()