Searched refs:cpu_tbd_hardware_val (Results 1 – 2 of 2) sorted by relevance
172 void *cpu_tbd_hardware_val; member
804 cpu_data_ptr->cpu_tbd_hardware_val = NULL; in cpu_data_init()963 cdp->cpu_tbd_hardware_val = (void *)rtclock_timebase_val; in cpu_timebase_init()