This change renames PPN64, TPPN64, PgNum64 and PgCnt64 as PPN, TPPN,
PageNum and PageCnt respectively in the public directory.
static INLINE PPN32
-VMCI_PPN64_TO_PPN32(PPN64 ppn)
+VMCI_PPN64_TO_PPN32(PPN ppn)
{
ASSERT(ppn <= MAX_UINT32);
return (PPN32)ppn;
PA64 pa = Balloon_BatchGetPA(batchPage, idx);
ASSERT(idx < BALLOON_BATCH_MAX_ENTRIES);
ASSERT(error <= BALLOON_ERROR_BUSY && error >= BALLOON_FAILURE);
- batchPage->entries[idx] = pa | (PPN64)error;
+ batchPage->entries[idx] = pa | (PPN)error;
}
MY_ASSERTS(BALLOON_BATCH_SIZE,