tracepoint.c 541 B

123456789101112131415161718192021222324252627
  1. // SPDX-License-Identifier: GPL-2.0
  2. /*
  3. * Code for supporting irq vector tracepoints.
  4. *
  5. * Copyright (C) 2013 Seiji Aguchi <seiji.aguchi@hds.com>
  6. *
  7. */
  8. #include <linux/jump_label.h>
  9. #include <linux/atomic.h>
  10. #include <asm/hw_irq.h>
  11. #include <asm/desc.h>
  12. #include <asm/trace/exceptions.h>
  13. #include <asm/trace/irq_vectors.h>
  14. DEFINE_STATIC_KEY_FALSE(trace_pagefault_key);
  15. int trace_pagefault_reg(void)
  16. {
  17. static_branch_inc(&trace_pagefault_key);
  18. return 0;
  19. }
  20. void trace_pagefault_unreg(void)
  21. {
  22. static_branch_dec(&trace_pagefault_key);
  23. }