Searched refs:out_paddr_hi (Results 1 – 1 of 1) sorted by relevance
39 uint32_t out_paddr_hi = out_paddr >> 32; in hypercall_md() local45 "D"(out_paddr_hi), "S"(out_paddr_lo), in hypercall_md()