| 3563 | } |
| 3564 | |
| 3565 | int |
| 3566 | fgetvp_read(struct thread *td, int fd, cap_rights_t *rightsp, struct vnode **vpp) |
| 3567 | { |
| 3568 | |
| 3569 | return (_fgetvp(td, fd, FREAD, rightsp, vpp)); |
| 3570 | } |
| 3571 | |
| 3572 | int |
| 3573 | fgetvp_exec(struct thread *td, int fd, cap_rights_t *rightsp, struct vnode **vpp) |