zxdiv: update the bank switching code to save the kernel bank
authorAlan Cox <alan@linux.intel.com>
Sun, 25 Nov 2018 15:23:48 +0000 (15:23 +0000)
committerAlan Cox <alan@linux.intel.com>
Sun, 25 Nov 2018 15:23:48 +0000 (15:23 +0000)
commit015889dac90645ec93ac47787bd6c92f3a1f576b
treea71bbe4fe1278dc04760f9a39b4fdfc5538d6e4a
parenta6cfd0a0b010ab5bd3a345d7d1daeac0fc4653cc
zxdiv: update the bank switching code to save the kernel bank

Otherwise we end up returning to the right address but with the wrong kernel
page mapped.
Kernel/platform-zxdiv/tricks.s