Here is a list of all documented functions with links to the documentation:

A

B

C

D

E

F

G

I

K

L

M

N

O

P

R

S

T

U

V

W

_

- f -

• fake_clock_get_current_microseconds() : fake_clock.h
• fake_clock_init() : fake_clock.h
• frame_allocate() : frame.h
• frame_containing_address() : frame.h
• frame_deallocate() : frame.h
• frame_get_max_count() : frame.h
• frame_get_used_count() : frame.h
• frame_init() : frame.h
• frame_start_address() : frame.h
• fstat() : syscall.h