PPN64
PPN64 baseAddress;
PPN64 baseAddress;
PPN64 base;
PPN64 base;
PPN64 base;
PPN64 statPPNs[MKS_GUEST_STAT_INSTANCE_MAX_STAT_PPNS]; /* stat counters */
PPN64 infoPPNs[MKS_GUEST_STAT_INSTANCE_MAX_INFO_PPNS]; /* stat info */
PPN64 strsPPNs[MKS_GUEST_STAT_INSTANCE_MAX_STRS_PPNS]; /* strings */
#define INVALID_PPN64 ((PPN64)0x000fffffffffffffULL)
hypervisor_ppn_add((PPN64)page_to_pfn(page));
hypervisor_ppn_remove((PPN64)page_to_pfn(page));
static inline void reset_ppn_array(PPN64 *arr, size_t size)
static inline void hypervisor_ppn_add(PPN64 pfn)
static inline void hypervisor_ppn_remove(PPN64 pfn)
hypervisor_ppn_add((PPN64)page_to_pfn(page));