#include <asm/sysregs.h>
#include <jailhouse/control.h>
#include <jailhouse/paging.h>
+#include <jailhouse/processor.h>
#include <jailhouse/string.h>
unsigned int cache_line_size;
cpu_data->psci_mbox.entry = 0;
cpu_data->virt_id = cpu_data->cpu_id;
+ cpu_data->mpidr = phys_processor_id();
/*
* Copy the registers to restore from the linux stack here, because we
*/
"eret\n\t"
:
- : "r" (cpu_data->stack + PERCPU_STACK_END),
+ : "r" (cpu_data->stack + sizeof(cpu_data->stack)),
"r" (cpu_data->linux_reg));
__builtin_unreachable();