fill_page_dma
#define fill_px(vm, px, v) fill_page_dma((vm), px_base(px), (v))
fill_page_dma(vm, p, (u64)v << 32 | v);