/* We need sometimes to load the physical address of a kernel object. Often we can convert the virtual address to physical at execution time, but sometimes (either for performance reasons or during error recovery) we cannot to this. Patch the marked bundles to load the physical address.  */
void __init ia64_patch_vtop(unsigned long start, unsigned long end)
/* We need sometimes to load the physical address of a kernel object. Often we can convert the virtual address to physical at execution time, but sometimes (either for performance reasons or during error recovery) we cannot to this. Patch the marked bundles to load the physical address.  */
void __init ia64_patch_vtop(unsigned long start, unsigned long end)
{
	s32 *offp = (s32 *) start;
	u64 ip;
	while (offp < (s32 *) end) {
		ip = (u64) offp + *offp;
		ia64_patch_imm64(ip, ia64_tpa(get_imm64(ip)));
		ia64_fc((void *) ip);
		++offp;
	}
	ia64_sync_i();
	ia64_srlz_i();
}