Signed-off-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Bobby Eshleman <bobbyeshleman@gmail.com>
.section .text.header, "ax", %progbits
+ /*
+ * OpenSBI pass to start():
+ * a0 -> hart_id ( bootcpu_id )
+ * a1 -> dtb_base
+ */
ENTRY(start)
/* Mask all interrupts */
csrw CSR_SIE, zero
unsigned char __initdata cpu0_boot_stack[STACK_SIZE]
__aligned(STACK_SIZE);
-void __init noreturn start_xen(void)
+void __init noreturn start_xen(unsigned long bootcpu_id,
+ paddr_t dtb_addr)
{
early_printk("Hello from C env\n");