patch_map
waddr = patch_map(addr, FIX_TEXT_POKE0, &flags);
addrh1 = patch_map(addr + 2, FIX_TEXT_POKE1, NULL);
waddr = patch_map(ptr, FIX_TEXT_POKE0);
waddr = patch_map(addr, FIX_TEXT_POKE0);
waddr = patch_map(addr, FIX_TEXT_POKE0);
waddr = patch_map(addr, FIX_TEXT_POKE0);
p = fixmap = patch_map(addr, FIX_TEXT_POKE0, &flags, &mapped);
p = fixmap = patch_map(addr, FIX_TEXT_POKE0, &flags,
patch_map(addr + PAGE_SIZE, FIX_TEXT_POKE1);
waddr = patch_map(addr, FIX_TEXT_POKE0);
patch_map(addr + PAGE_SIZE, FIX_TEXT_POKE1);
waddr = patch_map(addr, FIX_TEXT_POKE0);