JAILHOUSE_MEM_LOADABLE,
},
/* communication region */ {
- .virt_start = 0x3F900000,
+ .virt_start = 0x100000,
.size = 0x00001000,
.flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
JAILHOUSE_MEM_COMM_REGION,
}\r
\r
#ifdef JAILHOUSE\r
+const void * image_end;\r
+\r
void inmate_main(void)\r
#else //Linux\r
int main(int argc, char *argv[])\r
tsc_freq % 1000);\r
\r
u8 * start_memreg = (u8 *) array;\r
-\r
- while ( ((u64) start_memreg )< 0x4000000) {\r
+ u64 end_memreg_addr = (u64) &image_end;\r
+ while ( ((u64) start_memreg )< end_memreg_addr) {\r
//printk("%p\n",start_memreg);\r
map_range(start_memreg, HUGE_PAGE_SIZE, MAP_CACHED);\r
start_memreg += HUGE_PAGE_SIZE;\r
return 0;\r
#else\r
comm_region->cell_state = JAILHOUSE_CELL_SHUT_DOWN;\r
- printk("done!");\r
+ printk("done!\n");\r
#endif\r
}\r