Searched refs:ves_icall_System_Threading_Thread_VolatileWriteDouble (Results 1 – 3 of 3) sorted by relevance
158 void ves_icall_System_Threading_Thread_VolatileWriteDouble (void *ptr, double);
975 ICALL(THREAD_40, "VolatileWrite(double&,double)", ves_icall_System_Threading_Thread_VolatileWriteDo…
2801 ves_icall_System_Threading_Thread_VolatileWriteDouble (void *ptr, double value) in ves_icall_System_Threading_Thread_VolatileWriteDouble() function