Searched refs:PPN64 (Results 1 – 3 of 3) sorted by relevance
44 typedef uint64 PPN64; typedef99 #define INVALID_PPN64 ((PPN64)0x000fffffffffffffULL)140 PPN64 statPPNs[MKS_GUEST_STAT_INSTANCE_MAX_STAT_PPNS]; /* stat counters */141 PPN64 infoPPNs[MKS_GUEST_STAT_INSTANCE_MAX_INFO_PPNS]; /* stat info */142 PPN64 strsPPNs[MKS_GUEST_STAT_INSTANCE_MAX_STRS_PPNS]; /* strings */
943 PPN64 base;1100 PPN64 baseAddress;1110 PPN64 baseAddress;1142 PPN64 base;1151 PPN64 base;
631 static inline void reset_ppn_array(PPN64 *arr, size_t size) in reset_ppn_array()663 static inline void hypervisor_ppn_add(PPN64 pfn) in hypervisor_ppn_add()680 static inline void hypervisor_ppn_remove(PPN64 pfn) in hypervisor_ppn_remove()815 hypervisor_ppn_add((PPN64)page_to_pfn(page)); in mksstat_init_kern_id()1111 hypervisor_ppn_add((PPN64)page_to_pfn(page)); in vmw_mksstat_add_ioctl()1182 hypervisor_ppn_remove((PPN64)page_to_pfn(page)); in vmw_mksstat_remove_ioctl()