os_info_init
void os_info_init(void);
static int os_info_init;
if (os_info_init)
os_info_init = 1;
os_info_init();