The points in red do not correspond to an anatomical location in the cell. It is the combination of the resistor and the battery in series that represents an ion channel, since opening an ion channel decreases the membrane resistance and also generates a voltage. So the circuit diagram is not physically correct in a fundamental sense, but is a helpful analogue to the form of the equations (derived by considering the physics of the Nernst equation).
Incidentally, the HH equation is also different in form from the GHK equation (which is probably more correct in term of fundamental physics), but the HH equation has a more convenient analytical form and is an extremely good approximation in most of the physiological range.
However, there are times when the GHK equation is more accurate.