pok_syscall_info_t Struct Reference

#include <syscall.h>

Data Fields
pok_partition_id_t	partition
uint32_t	thread
uint32_t	base_addr

---

Detailed Description

Definition at line 96 of file syscall.h.

---

Field Documentation

uint32_t pok_syscall_info_t::base_addr

Definition at line 100 of file syscall.h.

pok_partition_id_t pok_syscall_info_t::partition

Definition at line 98 of file syscall.h.

uint32_t pok_syscall_info_t::thread

Definition at line 99 of file syscall.h.

---

The documentation for this struct was generated from the following file:

• /home/julien/wip/pok/kernel/include/core/syscall.h