cache_insns_64.h 839 B

123456789101112131415161718192021222324
  1. /*
  2. * Copyright (C) 2000, 2001 Paolo Alberelli
  3. * Copyright (C) 2003 Paul Mundt
  4. * Copyright (C) 2004 Richard Curnow
  5. *
  6. * This file is subject to the terms and conditions of the GNU General Public
  7. * License. See the file "COPYING" in the main directory of this archive
  8. * for more details.
  9. */
  10. #ifndef __ASM_SH_CACHE_INSNS_64_H
  11. #define __ASM_SH_CACHE_INSNS_64_H
  12. #define __icbi(addr) __asm__ __volatile__ ( "icbi %0, 0\n\t" : : "r" (addr))
  13. #define __ocbp(addr) __asm__ __volatile__ ( "ocbp %0, 0\n\t" : : "r" (addr))
  14. #define __ocbi(addr) __asm__ __volatile__ ( "ocbi %0, 0\n\t" : : "r" (addr))
  15. #define __ocbwb(addr) __asm__ __volatile__ ( "ocbwb %0, 0\n\t" : : "r" (addr))
  16. static inline reg_size_t register_align(void *val)
  17. {
  18. return (unsigned long long)(signed long long)(signed long)val;
  19. }
  20. #endif /* __ASM_SH_CACHE_INSNS_64_H */