LOADER_PAGE_SIZE
trampcode = host_getmem(LOADER_PAGE_SIZE);
bzero((void *)trampcode, LOADER_PAGE_SIZE);
trampstack = trampcode + LOADER_PAGE_SIZE - 8;
trampcode = host_getmem(LOADER_PAGE_SIZE);
bzero((void *)trampcode, LOADER_PAGE_SIZE);
bzero(PT4, 3 * LOADER_PAGE_SIZE);
bzero(PT4, 9 * LOADER_PAGE_SIZE);
PT4 = (pml4_entry_t *)host_getmem(9 * LOADER_PAGE_SIZE);
bzero(PT4, 9 * LOADER_PAGE_SIZE);
pabase = trampolinebase + LOADER_PAGE_SIZE;
pa_pt3_l = pabase + LOADER_PAGE_SIZE * 1;
pa_pt3_u = pabase + LOADER_PAGE_SIZE * 2;
pa_pt2_l0 = pabase + LOADER_PAGE_SIZE * 3;
pa_pt2_l1 = pabase + LOADER_PAGE_SIZE * 4;
pa_pt2_l2 = pabase + LOADER_PAGE_SIZE * 5;
pa_pt2_l3 = pabase + LOADER_PAGE_SIZE * 6;
pa_pt2_u0 = pabase + LOADER_PAGE_SIZE * 7;
pa_pt2_u1 = pabase + LOADER_PAGE_SIZE * 8;
(void *)trampolinebase + LOADER_PAGE_SIZE);
trampoline_data->pt4 = trampolinebase + LOADER_PAGE_SIZE;
archsw.arch_copyin(PT4, trampoline_data->pt4 - staging, 9 * LOADER_PAGE_SIZE);