Yes, you can use the same functions for a 64k EEPROM, and no - MIOS doesn’t format a BankStick, this has to be done by your application. Just define a “magic number” (e.g. 0x47, 0x11 written to 0x0000 and 0x0001), and check for this value. If you get a different value, you know that your BankStick hasn’t been formatted yet. Initialize it with some useful values, write 0x47 0x11 to the specific address - done
So the difference between the 32K und 64K is the available address range: $7FFF and $FFFF.
If understand it right: best should be to proof 2 specific values in $0000 and $0001 and if them are wrong the whole range should be initilise maybe with $00 and then the specific values should be written to $0000 and $0001 again.
But why i have to proof 2 values… because one could be randomly the same before on that adress?