ace4_mask_to_acet_mask
ace4_mask_to_acet_mask(nfsace4->access_mask, &ace->a_access_mask);
static void ace4_mask_to_acet_mask(acemask4, uint32_t *);