Lines Matching refs:readw
142 static inline uint16_t readw(const void *addr)665 while (cmos_readb(0x5f) + 1 != readw(&smp_cpus))669 BX_INFO("Found %d cpu(s)\n", readw(&smp_cpus));
