I am facing problem in assigning adress to a pointer. I am using banked memory. The variable definition and assignment as follows.
volatile uint16 * __far header;
header = ((volatile uint16 * __far)(0xff000));
In the debugger window I am getting the address in header as 0xf000 instead of 0xff000. Please provide help in solving this problem.