read_apic_timer
while (read_apic_timer())
int read_apic_timer(void);
smilast = read_apic_timer();
for (x = 0; x < 20 && read_apic_timer(); ++x) {
while (read_apic_timer()) {
while (read_apic_timer()) {
return(read_apic_timer());