/* * The Qubes OS Project, http://www.qubes-os.org * * Copyright (C) 2010 Rafal Wojtczuk * Copyright (C) 2013 Marek Marczykowski * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. * */ #include struct buffer { char *data; int buflen; }; typedef void (do_exec_t)(const char *); void register_exec_func(do_exec_t *func); void buffer_init(struct buffer *b); void buffer_free(struct buffer *b); void buffer_append(struct buffer *b, const char *data, int len); void buffer_remove(struct buffer *b, int len); int buffer_len(struct buffer *b); void *buffer_data(struct buffer *b); void do_fork_exec(const char *cmdline, int *pid, int *stdin_fd, int *stdout_fd, int *stderr_fd); int peer_server_init(int port); char *peer_client_init(int dom, int port); void wait_for_vchan_or_argfd(int max, fd_set * rdset, fd_set * wrset); unsigned int read_ready_vchan_ext(void); int read_all(int fd, void *buf, int size); int read_all_vchan_ext(void *buf, int size); int write_all(int fd, const void *buf, int size); int write_all_vchan_ext(const void *buf, int size); unsigned int buffer_space_vchan_ext(void); void fix_fds(int fdin, int fdout, int fderr); void set_nonblock(int fd); void set_block(int fd); int get_server_socket(const char *); int do_accept(int s); enum { WRITE_STDIN_OK = 0x200, WRITE_STDIN_BUFFERED, WRITE_STDIN_ERROR }; int flush_client_data(int fd, int client_id, struct buffer *buffer); int write_stdin(int fd, int client_id, const char *data, int len, struct buffer *buffer); void set_nonblock(int fd); int fork_and_flush_stdin(int fd, struct buffer *buffer);