platin: added check for missing trace entry function in PML