Searched refs:u32tmm_16 (Results 1 – 2 of 2) sorted by relevance
1780 MS_U32 u32tmm_15 = 0, u32tmm_16 = 0; in _MSB123xc_MEM_switch() local1863 u32tmm_16 = MsOS_GetSystemTime(); in _MSB123xc_MEM_switch()1864 printf("[tmm8]t16-t15 = %ld (%ld - %ld)\n",u32tmm_16-u32tmm_15,u32tmm_16,u32tmm_15); in _MSB123xc_MEM_switch()
2512 MS_U32 u32tmm_15 = 0, u32tmm_16 = 0; in _MSB124X_MEM_switch() local2637 u32tmm_16 = MsOS_GetSystemTime(); in _MSB124X_MEM_switch()2638 printf("[tmm8]t16-t15 = %ld (%ld - %ld)\n",u32tmm_16-u32tmm_15,u32tmm_16,u32tmm_15); in _MSB124X_MEM_switch()