40 prefetch_read_many(void *addr)  in prefetch_read_many()  argument
45 	    : "=r" (addr)  in prefetch_read_many()
46 	    : "0" (addr));  in prefetch_read_many()
53 prefetch_read_once(void *addr)  in prefetch_read_once()  argument
58 	    : "=r" (addr)  in prefetch_read_once()
59 	    : "0" (addr));  in prefetch_read_once()
66 prefetch_write_many(void *addr)  in prefetch_write_many()  argument
71 	    : "=r" (addr)  in prefetch_write_many()
72 	    : "0" (addr));  in prefetch_write_many()
79 prefetch_write_once(void *addr)  in prefetch_write_once()  argument
84 	    : "=r" (addr)  in prefetch_write_once()
85 	    : "0" (addr));  in prefetch_write_once()