4.7.1.2 Nodiva Specifier

The __nodiva specifier is provided by <xc.h> and expands to an instance of the __nodiva attribute. It disables the use the DIVA module for division, shift and modulus operations. For example:
#include <xc.h>
void  __nodiva  foo(void);