generic64 did not work with SMP due to using a global pointer mapping table.