secpolicy_clock_highres
secpolicy_clock_highres(cr) != 0) {
int secpolicy_clock_highres(const cred_t *);