svs_page_add
svs_page_add(ci, va + i * PAGE_SIZE, global);
svs_page_add(ci, idt_vaddr, true);
svs_page_add(ci, (vaddr_t)&pcpuarea->ldt, true);