Adds some definitions to .xs suggested by ppport.h