> Well, on second thought, is there any reason why an int function ptr should be any different from an int ptr?
I don't know any other example, but in Itanium, a function pointer is not just an address but an (address+address) pair where the second address is a sort of a base pointer for data segment: