pub type hv_ipa_t = u64;
The type of an intermediate physical address (which is a guest physical address space of the VM).