ptokv
_boot_arg->argv = ptokv(p + sizeof(struct BootArgs));
_boot_arg->bootinfo = ptokv(p + offsetof(struct BootArgs, bi));
sp = ptokv(p) + _mem->getPageSize();
ptokv(p), _mem->getPageSize(), sp));
sp = ptokv(p) + _mem->getPageSize();
ptokv(p), _mem->getPageSize(), sp));
argv[argc++] = ptokv(locp); \
argv[argc++] = ptokv(locp);
argv[argc++] = ptokv(locp);
argv[argc++] = ptokv(locp);
argv[argc++] = ptokv(locp);
argv[argc++] = ptokv(locp);
argv[argc++] = ptokv(locp);
argv[argc++] = ptokv(locp);
_pvec_prev->next = ptokv(_pvec_clr_paddr);
_pvec_prev->src = ptokv(p);
_pvec_prev->next = ptokv(pvec_paddr);
prev->src = ptokv(p);
prev->next = ptokv(pvec_paddr);
sp = ptokv(p + _mem->getPageSize() - 0x10);
info = ptokv(info);
pvec = ptokv(pvec);
_loader_addr = ptokv(_loader_addr);
VOLATILE_REF(ptokv(p)) = TEST_MAGIC;
sp = ptokv(p + _mem->getPageSize() / 2);
info = ptokv(info);
pvec = ptokv(pvec);
_loader_addr = ptokv(_loader_addr);