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:
Generated on Wed May 24 23:06:09 2006 for LSE/OS by  doxygen 1.4.6