: "I" (PAGE_SIZE)); 
: "I" (PAGE_SIZE), "I" (L1_CACHE_BYTES)); 
blk_flush_kern_dcache_page(void *kaddr){	asm(	"add	r1, r0, %0							\n\1:	.word	0xec401f0e	@ mcrr	p15, 0, r0, r1, c14, 0	@ blocking	\n\	mov	r0, #0								\n\	mcr	p15, 0, r0, c7, c5, 0						\n\	mcr	p15, 0, r0, c7, c10, 4						\n\	mov	pc, lr"	:	: "I" (PAGE_SIZE));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0d670b413f042eccdffc45bafb9840244752707f/blockops.c/buggy/arch/arm/mm/blockops.c