2 * SPDX-License-Identifier: GPL-2.0+
6 #include <linux/linkage.h>
8 ENTRY(save_boot_params)
10 ENDPROC(save_boot_params)
13 * cache_inv - invalidate Cache line
17 .type cache_inv, %function
22 mcr p15, 0, r0, c7, c6, 1
29 * flush_l1_v6 - l1 cache clean invalidate
33 .type flush_l1_v6, %function
38 mcr p15, 0, r0, c7, c10, 5 /* @ data memory barrier */
39 mcr p15, 0, r0, c7, c14, 1 /* @ clean & invalidate D line */
40 mcr p15, 0, r0, c7, c10, 4 /* @ data sync barrier */
47 * flush_l1_v7 - l1 cache clean invalidate
51 .type flush_l1_v7, %function
56 dmb /* @data memory barrier */
57 mcr p15, 0, r0, c7, c14, 1 /* @ clean & invalidate D line */
58 dsb /* @data sync barrier */