Searched refs:findVSpaceForASID_ret_t (Results 1 - 11 of 11) sorted by relevance

/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c30 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
127 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
147 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap));
/seL4-camkes-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c294 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
306 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
319 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
341 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
357 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap));
/seL4-camkes-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c214 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
224 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
236 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
248 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
260 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
276 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap));
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h40 typedef struct findVSpaceForASID_ret findVSpaceForASID_ret_t; typedef in typeref:struct:findVSpaceForASID_ret
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h34 typedef struct findVSpaceForASID_ret findVSpaceForASID_ret_t; typedef in typeref:struct:findVSpaceForASID_ret
90 findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid);
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c317 static findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid)
319 findVSpaceForASID_ret_t ret;
506 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
555 findVSpaceForASID_ret_t find_ret;
581 findVSpaceForASID_ret_t find_ret;
689 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
744 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
826 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c112 typedef struct findVSpaceForASID_ret findVSpaceForASID_ret_t; typedef in typeref:struct:findVSpaceForASID_ret
559 static findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid)
561 findVSpaceForASID_ret_t ret;
989 findVSpaceForASID_ret_t find_ret;
1027 findVSpaceForASID_ret_t find_ret;
1046 findVSpaceForASID_ret_t find_ret;
1262 findVSpaceForASID_ret_t find_ret;
1328 findVSpaceForASID_ret_t find_ret;
1698 findVSpaceForASID_ret_t find_ret;
1798 findVSpaceForASID_ret_t find_re
[all...]
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c95 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid);
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c477 findVSpaceForASID_ret_t find_ret;
1076 findVSpaceForASID_ret_t find_ret;
1205 findVSpaceForASID_ret_t find_ret;
1252 findVSpaceForASID_ret_t find_ret;
1370 findVSpaceForASID_ret_t find_ret;
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c545 findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid)
547 findVSpaceForASID_ret_t ret;
709 findVSpaceForASID_ret_t find_ret;
761 findVSpaceForASID_ret_t find_ret;
1007 findVSpaceForASID_ret_t find_ret;
1203 findVSpaceForASID_ret_t find_ret;
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c593 findVSpaceForASID_ret_t find_ret;

Completed in 135 milliseconds