Searched refs:findVSpaceForASID_ret (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h36 struct findVSpaceForASID_ret { struct
40 typedef struct findVSpaceForASID_ret findVSpaceForASID_ret_t;
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h30 struct findVSpaceForASID_ret { struct
34 typedef struct findVSpaceForASID_ret findVSpaceForASID_ret_t;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c108 struct findVSpaceForASID_ret { struct
112 typedef struct findVSpaceForASID_ret findVSpaceForASID_ret_t;

Completed in 87 milliseconds