readw
#define readw(addr) readw(addr)
return (readw(addr));
uint16_t: readw(addr), \
readw(BIOS_PADDRTOVADDR(0x463)),
v = readw(buf);
if (readw(buf) != 0xA55A)
return readw((void *)((ULONG_PTR)base + offset));
return (readw(sc_vtb_pointer(vtb, at)) & 0x00ff);
return (readw(sc_vtb_pointer(vtb, at)) & 0xff00);