name : cache_insns_32.h /* SPDX-License-Identifier: GPL-2.0 */ #ifndef __ASM_SH_CACHE_INSNS_32_H #define __ASM_SH_CACHE_INSNS_32_H #include <linux/types.h> #if defined(CONFIG_CPU_SH4A) #define __icbi(addr) __asm__ __volatile__ ( "icbi @%0\n\t" : : "r" (addr)) #else #define __icbi(addr) mb() #endif #define __ocbp(addr) __asm__ __volatile__ ( "ocbp @%0\n\t" : : "r" (addr)) #define __ocbi(addr) __asm__ __volatile__ ( "ocbi @%0\n\t" : : "r" (addr)) #define __ocbwb(addr) __asm__ __volatile__ ( "ocbwb @%0\n\t" : : "r" (addr)) static inline reg_size_t register_align(void *val) { return (unsigned long)(signed long)val; } #endif /* __ASM_SH_CACHE_INSNS_32_H */