Searched refs:cpu_tbd_hardware_addr (Results 1 – 2 of 2) sorted by relevance
171 void *cpu_tbd_hardware_addr; member
803 cpu_data_ptr->cpu_tbd_hardware_addr = NULL; in cpu_data_init()962 cdp->cpu_tbd_hardware_addr = (void *)rtclock_timebase_addr; in cpu_timebase_init()