Searched refs:address_space_device_tell_ping_info_t (Results 1 – 1 of 1) sorted by relevance
39 typedef void (*address_space_device_tell_ping_info_t)(uint32_t handle, uint64_t gpa); typedef59 address_space_device_tell_ping_info_t tell_ping_info;