Searched refs:input_address_hi (Results 1 – 3 of 3) sorted by relevance
66 u32 input_address_hi = upper_32_bits(input_address); in hv_do_hypercall() local78 "b" (input_address_hi), in hv_do_hypercall()