hypercall_page
long __call = (long)&hypercall_page + (op * 32);
extern char *hypercall_page;
__call = (long)&hypercall_page + (op * 32);
extern char *hypercall_page;
wrmsr(regs[1], early_init_vtop(&hypercall_page));