29 static inline void force_load(char *p)  in force_load()  argument
31 	*(volatile char *)p;  in force_load()
42 	char *p, *base;  in finv_buffer_remote()  local
129 	p = (char *)buffer + size - 1;  in finv_buffer_remote()
130 	force_load(p);  in finv_buffer_remote()
133 	p -= step_size;  in finv_buffer_remote()
134 	p = (char *)((unsigned long)p | (step_size - 1));  in finv_buffer_remote()
137 	base = p - (step_size * (load_count - 2));  in finv_buffer_remote()
147 	for (; p >= base; p -= step_size)  in finv_buffer_remote()
148 		force_load(p);  in finv_buffer_remote()
158 	p = (char *)buffer + size - 1;  in finv_buffer_remote()
159 	__insn_finv(p);  in finv_buffer_remote()
160 	p -= step_size;  in finv_buffer_remote()
161 	p = (char *)((unsigned long)p | (step_size - 1));  in finv_buffer_remote()
162 	for (; p >= base; p -= step_size)  in finv_buffer_remote()
163 		__insn_finv(p);  in finv_buffer_remote()