2 * SPDX-License-Identifier: GPL-2.0+
7 #include <linux/linkage.h>
9 ENTRY(save_boot_params)
11 ENDPROC(save_boot_params)
14 * cache_inv - invalidate Cache line
18 .type cache_inv, %function
23 mcr p15, 0, r0, c7, c6, 1
30 * flush_l1_v6 - l1 cache clean invalidate
34 .type flush_l1_v6, %function
39 mcr p15, 0, r0, c7, c10, 5 /* @ data memory barrier */
40 mcr p15, 0, r0, c7, c14, 1 /* @ clean & invalidate D line */
41 mcr p15, 0, r0, c7, c10, 4 /* @ data sync barrier */
48 * flush_l1_v7 - l1 cache clean invalidate
52 .type flush_l1_v7, %function
57 dmb /* @data memory barrier */
58 mcr p15, 0, r0, c7, c14, 1 /* @ clean & invalidate D line */
59 dsb /* @data sync barrier */