#include <linux/kernel.h>
#include <asm/hardware/cp14.h>
#include <asm/hw_breakpoint.h>

typedef void (*avm_wp_callback)(unsigned long addr, unsigned int fsr, struct pt_regs *regs);

void avm_wp_disable(unsigned long addr);
int avm_wp_enable(unsigned long addr, avm_wp_callback callback);