The Charm Operating System

System call Manual pages

Getting Information from kernel

get_kernel_data

Managing Devices

ts_bind_irq (also in time slice management)

reset_irq

Managing Time slices (scheduling)

ts_bind

ts_bind_irq

ts_unbind

ts_yield

ts_change_caps

Managing Slack Time (scheduling)

slack_bind

slack_unbind

slack_change_caps

Managing Arenas

arena_create

arena_set_activate

arena_set_clock_tick

arena_set_iac_upcall

arena_set_tss

arena_set_tse

arena_change_caps

Inter-Arena call

iac

Virtual Memory Management

vm_bind_l1

vm_bind_l2

vm_flush

Physical Memory Management

pm_change_caps