Line 292 in pentevo.c
{0x07ff,0x07f7,1,2,2,NULL, evoOutF7}, // x7f7
this is the memory ports. This is shadow ports, so trdos or "force port opening" must be on.
bff7/dff7/eff7 is checked only if shadow ports is closed, and it is not the memory manager. maybe eff7 only...
PS:some ports have same address, but working different, depending on "shadow ports open" flag.