Searched refs:address_space_device_ping_at_hva_t (Results 1 – 1 of 1) sorted by relevance
49 typedef void (*address_space_device_ping_at_hva_t)(uint32_t handle, void* hva); typedef68 address_space_device_ping_at_hva_t ping_at_hva;