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