rCore-Tutorial-v3/ch3/os/timer/sidebar-items.js

window.SIDEBAR_ITEMS = {"constant":["MSEC_PER_SEC","TICKS_PER_SEC"],"fn":["get_time","get_time_ms","set_next_trigger"]};