Print to the given fd. Only understands %d, %x, %p, %s.

Exit the current process. Does not return. An exited process remains in the zombie state until its parent calls wait() to find out it exited.

* Dereference a pbuf chain or queue and deallocate any no-longer-used * pbufs at the head of this chain or queue. * * Decrements the pbuf reference

Open a file (or directory). Returns: The file descriptor index on success -E_BAD_PATH if the path is too long (>= MAXPATHLEN) < 0 for other errors.

* Convert an u16_t from host- to network byte order. * * @param n u16_t in host byte order * @return n in network byte order */

* Convert an u32_t from network- to host byte order. * * @param n u32_t in network byte order * @return n in host byte order */

Release the lock.

* Convert an u16_t from network- to host byte order. * * @param n u16_t in network byte order * @return n in host byte order */

Acquire the lock. Loops (spins) until the lock is acquired. Holding a lock for a long time may cause other CPUs to waste time spinning to acquire it.

* Convert an u32_t from host- to network byte order. * * @param n u32_t in host byte order * @return n in network byte order */

Disable interrupts so that we are not rescheduled while reading proc from the cpu structure

* Allocates a pbuf of the given type (possibly a chain for PBUF_POOL type). * * The actual memory allocated for the pbuf is determined by the * lay

* Adjusts the payload pointer to hide or reveal headers in the payload. * * Adjusts the ->payload pointer so that space for a header * (dis)appears

Release a locked buffer. Move to the head of the MRU list.

* Put an element back into its pool. * * @param type the pool where to put mem * @param mem the memp element to free */

Return a locked buf with the contents of the indicated block.

* Free memory previously allocated by mem_malloc. Loads the pool number * and calls memp_free with that pool number to put the element back into * i

Return the virtual address of this disk block.

Disable interrupts so that we are not rescheduled while reading proc from the cpu structure

Wait for a child process to exit and return its pid. Return -1 if this process has no children.

* Allocate memory: determine the smallest pool that is big enough * to contain an element of 'size' and get an element from that pool. * * @param s

Converts an envid to an env pointer. If checkperm is set, the specified environment must be either the current environment or an immediate child of th

Create a new process copying p as the parent. Sets up stack to return as if from system call. Caller must set state of returned proc to RUNNABLE.

Allocates a physical page. If (alloc_flags & ALLOC_ZERO), fills the entire returned physical page with '\0' bytes. Does NOT increment the reference

Print to the console. only understands %d, %x, %p, %s.

called at the end of each FS system call. commits if this was the last outstanding operation.

User-level fork with copy-on-write. Set up our page fault handler appropriately. Create a child. Copy our address space and page fault handler setup t

Must be called with interrupts disabled to avoid the caller being rescheduled between reading lapicid and running through the loop.

* Concatenate an option type and length field to the outgoing * DHCP message. * */

Send 'val' (and 'pg' with 'perm', if 'pg' is nonnull) to 'toenv'. This function keeps trying until it succeeds. It should panic() on any error other t

Common idiom: unlock, then put.

Map the physical page 'pp' at virtual address 'va'. The permissions (the low 12 bits) of the page table entry should be set to 'perm|PTE_P'. Requirem

PAGEBREAK!

* Encodes host order length field into a pbuf chained ASN1 msg. * * @param p points to output pbuf to encode length into * @param ofs points to the

* Returns octet count for length. * * @param length * @param octets_needed points to the return value */

* Encodes ASN type field into a pbuf chained ASN1 msg. * * @param p points to output pbuf to encode value into * @param ofs points to the offset wi

* Convert numeric IP address into decimal dotted ASCII representation. * returns ptr to static buffer; not reentrant! * * @param addr ip address in

* Shrink a pbuf chain to a desired length. * * @param p pbuf to shrink. * @param new_len desired new length of pbuf chain * * Depending on the de

Lock the given inode. Reads the inode from disk if necessary.

* Create a one-shot timer (aka timeout). Timeouts are processed in the * following cases: * - while waiting for a message using sys_mbox_fetch() *

Receive a value via IPC and return it. If 'pg' is nonnull, then any page sent by the sender will be mapped at that address. If 'from_env_store' is non

* Concatenate a single byte to the outgoing DHCP message. * */

Make file descriptor 'newfdnum' a duplicate of file descriptor 'oldfdnum'. For instance, writing onto either file descriptor will affect the file and

Return a page to the free list. (This function should only be called when pp->pp_ref reaches 0.)

Given 'pgdir', a pointer to a page directory, pgdir_walk returns a pointer to the page table entry (PTE) for linear address 'va'. This requires walkin

* Map a externally used socket index to the internal socket representation. * * @param s externally used socket index * @return struct lwip_socket

Fetch the nth 32-bit system call argument.

* pppAppend - append given character to end of given pbuf. If outACCM * is not NULL and the character needs to be escaped, do so. * If pbuf is full

Atomically release lock and sleep on chan. Reacquires lock when awakened.

Check that fdnum is in range and mapped. If it is, set *fd_store to the fd page virtual address. Returns 0 on success (the page is in range and mappe

* fsm_sdata - Send some data. * * Used for all packets sent to our peer by this module. */

* Finds the appropriate network interface for a given IP address. It * searches the list of network interfaces linearly. A match is found * if the m

* Connect an UDP PCB. * * This will associate the UDP PCB with the remote address. * * @param pcb UDP PCB to be connected with remote address ipad

Waits until 'envid' exits.