t_sys_core_pgive_args Struct Reference

#include <syscallargs.h>

Data Fields
asid_t	asid
asid_t	newasid
paddr_t	paddr
int	nb_pgs

---

Field Documentation

asid_t t_sys_core_pgive_args::asid

int t_sys_core_pgive_args::nb_pgs

asid_t t_sys_core_pgive_args::newasid

paddr_t t_sys_core_pgive_args::paddr

---

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

• lseos-core/kernel/core/syscallargs.h

---