HelenOS sources

get_current_microframe  245 uspace/drv/bus/usb/xhci/isoch.c 		it->mfindex = get_current_microframe(hc) + 1 + delay + hc->ist;
get_current_microframe  278 uspace/drv/bus/usb/xhci/isoch.c 	const uint64_t current_mf = get_current_microframe(hc);
HelenOS homepage, sources at GitHub