Searched refs:compute_kern_paddr (Results 1 – 1 of 1) sorted by relevance
3080 static inline resource_size_t compute_kern_paddr(void *addr) in compute_kern_paddr() function3087 code_resource.start = compute_kern_paddr(_text); in kernel_lds_init()3088 code_resource.end = compute_kern_paddr(_etext - 1); in kernel_lds_init()3089 data_resource.start = compute_kern_paddr(_etext); in kernel_lds_init()3090 data_resource.end = compute_kern_paddr(_edata - 1); in kernel_lds_init()3091 bss_resource.start = compute_kern_paddr(__bss_start); in kernel_lds_init()3092 bss_resource.end = compute_kern_paddr(_end - 1); in kernel_lds_init()