Searched refs:vspace_state (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/arch/x86/barrelfish/
H A Dcore_state_arch.h20 struct vspace_state { struct
37 struct vspace_state vspace_state; member in struct:core_state_arch
/barrelfish-master/include/arch/aarch64/barrelfish/
H A Dcore_state_arch.h20 struct vspace_state { struct
37 struct vspace_state vspace_state; member in struct:core_state_arch
/barrelfish-master/include/arch/arm/barrelfish/
H A Dcore_state_arch.h20 struct vspace_state { struct
37 struct vspace_state vspace_state; member in struct:core_state_arch
/barrelfish-master/lib/barrelfish/
H A Ddomain.c1238 return &disp->core_state.vspace_state.vspace;
1258 return (struct pmap*)&disp->core_state.vspace_state.pmap;

Completed in 161 milliseconds