- v -

• VATT_TER() : timer.cfg
• vmsk_log() : t_syslog.h
• vrea_log() : t_syslog.h
• vsns_ini() : kernel.h
• vwri_log() : t_syslog.h
• vxget_tim() : cpu_defs.h
• vxsns_ctx() : kernel.h
• vxsns_dpn() : kernel.h
• vxsns_dsp() : kernel.h
• vxsns_loc() : kernel.h
• vxsns_tex() : kernel.h