Searched refs:compute_kern_paddr (Results 1 – 1 of 1) sorted by relevance
3064 static inline resource_size_t compute_kern_paddr(void *addr) in compute_kern_paddr() function3071 code_resource.start = compute_kern_paddr(_text); in kernel_lds_init()3072 code_resource.end = compute_kern_paddr(_etext - 1); in kernel_lds_init()3073 data_resource.start = compute_kern_paddr(_etext); in kernel_lds_init()3074 data_resource.end = compute_kern_paddr(_edata - 1); in kernel_lds_init()3075 bss_resource.start = compute_kern_paddr(__bss_start); in kernel_lds_init()3076 bss_resource.end = compute_kern_paddr(_end - 1); in kernel_lds_init()