devpts_getvnodeops
(vn_matchops(rvp, devpts_getvnodeops()) ||
extern struct vnodeops *devpts_getvnodeops(void);