osmemory_read_size

[Chris Rutter]

This doesn't seem to work; I would try and look at the AOF, but the
library members are named in some way which wasn't obvious within thirty
seconds of glancing so I couldn't extract it.  Anyway, this program:

    int tbsz, pgsz;
    osmemory_read_size(6, &tbsz, &pgsz);

produces `bad reason code', and this one:

    int tbsz, pgsz;
    osmemory_read_size(0, &tbsz, &pgsz);

produces `Parameters not recognised'.

Crudely scanning through OSLib.o in Zap, I seem to have found the stub:

    stmdb   r13!, {r1, r2}
    orr     r0, r0, #8
    swi     OS_Memory
    ldr     r12, [r13, #0]
    teq     r12, #0
    strne   r1, [r12, #0]
    ...

Well, that #8 looks overwhelmingly wrong to me.

c.