554 				u64	completer_addr;  member
557 				u64	completer_addr;  member
632 static int host_request_owned_transition(u64 *completer_addr,  in host_request_owned_transition()
642 static int host_request_unshare(u64 *completer_addr,  in host_request_unshare()
652 static int host_initiate_share(u64 *completer_addr,  in host_initiate_share()
662 static int host_initiate_unshare(u64 *completer_addr,  in host_initiate_unshare()
672 static int host_initiate_donation(u64 *completer_addr,  in host_initiate_donation()
732 static int hyp_request_donation(u64 *completer_addr,  in hyp_request_donation()
742 static int hyp_initiate_donation(u64 *completer_addr,  in hyp_initiate_donation()
827 	u64 completer_addr;  in check_share()  local
862 	u64 completer_addr;  in __do_share()  local
917 	u64 completer_addr;  in check_unshare()  local
949 	u64 completer_addr;  in __do_unshare()  local
1001 	u64 completer_addr;  in check_donation()  local
1035 	u64 completer_addr;  in __do_donate()  local