native_pagetable_init
extern void native_pagetable_init(void);
.pagetable_init = native_pagetable_init,