PCI_SYNC_FLAG_SIZE
sync_flag_pa += PCI_SYNC_FLAG_SIZE;
ASSERT(!(SYNC_BUF_PA(mp) & PCI_SYNC_FLAG_SIZE - 1));
ASSERT(!(sync_flag_pa & PCI_SYNC_FLAG_SIZE - 1));
PCI_SYNC_FLAG_SIZE);
vmem_xalloc(static_alloc_arena, PCI_SYNC_FLAG_SIZE,
PCI_SYNC_FLAG_SIZE, 0, 0, NULL, NULL, VM_SLEEP);