kern/x86/base_paging_init.c base_paging_init() should be called in custom kernel routine.Before it's running,whether phys_mem_va should be calculated,and how its value is calculated ? I'd like to know where is memory maped into address ranges of user space and kernel space ?
thanks & regard