1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * (C) Copyright 2021 Mark Kettenis <kettenis@openbsd.org>
4 */
5
6.align 8
7.global fw_dtb_pointer
8fw_dtb_pointer:
9	.quad	0
10
11.global save_boot_params
12save_boot_params:
13	/* Stash DTB pointer passed by m1n1 */
14	adr	x1, fw_dtb_pointer
15	str	x0, [x1]
16
17	b	save_boot_params_ret
18