Searched refs:tGKI_OS (Results 1 – 2 of 2) sorted by relevance
42 } tGKI_OS; typedef53 tGKI_OS os;
119 tGKI_OS* p_os; in GKI_init()364 tGKI_OS* p_os = &gki_cb.os; in gki_system_tick_start_stop_cback()