class Vectors(Struct):
owner = Map(uint8_t, pid_t)
class IO(Struct):
owner = Map(uint16_t, pid_t)
class File(Struct):
type = Map(fn_t, file_type_t)
refcnt = Refcnt2(fn_t, (pid_t, fd_t), size_t)
value = Map(fn_t, uint64_t)
omode = Map(fn_t, uint64_t)
offset = Map(fn_t, size_t)
class PCI(Struct):
owner = Map(devid_t, pid_t)
page_table_root = Map(devid_t, pn_t)
class s_buf(Struct):
"""docstring for s_buf"""
value = Map(tU4, tU4)
class body(Struct):
value = Map(tU4, tU4)
class tk5_ehn(Struct):
dst_addr = Map(tU4, tU4)
src_addr = Map(tU4, tU4)
class Proc(Struct):
state = Map(pid_t, proc_state_t)
ppid = Map(pid_t, pid_t)
killed = Map(pid_t, bool_t)
ipc_from = Map(pid_t, pid_t)
ipc_val = Map(pid_t, uint64_t)
ipc_page = Map(pid_t, pn_t)
ipc_size = Map(pid_t, size_t)
ipc_fd = Map(pid_t, fd_t)
ofile = Map(pid_t, fd_t, fn_t)
nr_children = Refcnt(pid_t, pid_t, size_t, initial_offset=1)
nr_fds = Refcnt(pid_t, fd_t, size_t)
nr_pages = Refcnt(pid_t, pn_t, size_t)
nr_dmapages = Refcnt(pid_t, pn_t, size_t)
nr_devs = Refcnt(pid_t, devid_t, size_t)
nr_ports = Refcnt(pid_t, uint16_t, size_t)
nr_vectors = Refcnt(pid_t, uint8_t, size_t)
nr_intremaps = Refcnt(pid_t, size_t, size_t)
stack = Map(pid_t, pn_t)
hvm = Map(pid_t, pn_t)
page_table_root = Map(pid_t, pn_t)
use_io_bitmap = Map(pid_t, bool_t)
io_bitmap_a = Map(pid_t, pn_t)
io_bitmap_b = Map(pid_t, pn_t)
intr = Map(pid_t, uint64_t, uint64_t)
tlbinv = Map(pid_t, bool_t)
class PCIPage(Struct):
owner = Map(pn_t, devid_t)
valid = Map(pn_t, bool_t)
class DMAPage(Struct):
owner = Map(pn_t, pid_t)
type = Map(pn_t, page_type_t)
class Intremap(Struct):
state = Map(size_t, intremap_state_t)
devid = Map(size_t, devid_t)
vector = Map(size_t, uint8_t)
