Interface to GCC intrin api