Searched refs:compute_kern_paddr (Results 1 – 1 of 1) sorted by relevance
3050 static inline resource_size_t compute_kern_paddr(void *addr) in compute_kern_paddr() function3057 code_resource.start = compute_kern_paddr(_text); in kernel_lds_init()3058 code_resource.end = compute_kern_paddr(_etext - 1); in kernel_lds_init()3059 data_resource.start = compute_kern_paddr(_etext); in kernel_lds_init()3060 data_resource.end = compute_kern_paddr(_edata - 1); in kernel_lds_init()3061 bss_resource.start = compute_kern_paddr(__bss_start); in kernel_lds_init()3062 bss_resource.end = compute_kern_paddr(_end - 1); in kernel_lds_init()