Searched refs:msg_paddr (Results 1 – 2 of 2) sorted by relevance
84 hypercall_post_message(bus_addr_t msg_paddr) in hypercall_post_message() argument87 HYPERCALL_POST_MESSAGE, msg_paddr, 0); in hypercall_post_message()
37 uint64_t hypercall_post_message(bus_addr_t msg_paddr);