1 /*
2  * Copyright 2018 The Hafnium Authors.
3  *
4  * Use of this source code is governed by a BSD-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/BSD-3-Clause.
7  */
8 
9 #include "hf/layout.h"
10 
layout_text_begin(void)11 paddr_t layout_text_begin(void)
12 {
13 	return pa_init(0);
14 }
15 
layout_text_end(void)16 paddr_t layout_text_end(void)
17 {
18 	return pa_init(100);
19 }
20 
layout_rodata_begin(void)21 paddr_t layout_rodata_begin(void)
22 {
23 	return pa_init(200);
24 }
25 
layout_rodata_end(void)26 paddr_t layout_rodata_end(void)
27 {
28 	return pa_init(300);
29 }
30 
layout_data_begin(void)31 paddr_t layout_data_begin(void)
32 {
33 	return pa_init(400);
34 }
35 
layout_data_end(void)36 paddr_t layout_data_end(void)
37 {
38 	return pa_init(500);
39 }
40 
layout_image_end(void)41 paddr_t layout_image_end(void)
42 {
43 	return pa_init(600);
44 }
45 
layout_stacks_begin(void)46 paddr_t layout_stacks_begin(void)
47 {
48 	return pa_init(700);
49 }
50 
layout_stacks_end(void)51 paddr_t layout_stacks_end(void)
52 {
53 	return pa_init(700);
54 }
55 
layout_primary_begin(void)56 paddr_t layout_primary_begin(void)
57 {
58 	return pa_init(0x80000);
59 }
60