Searched refs:getHWASID (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dcontext_switch.h19 asid = getHWASID(asid);
/seL4-test-master/kernel/include/arch/arm/armv/armv6/armv/
H A Dcontext_switch.h28 armv_contextSwitch_HWASID(cap_pd, getHWASID(asid));
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dcontext_switch.h51 armv_contextSwitch_HWASID(cap_pd, getHWASID(asid));
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dcontext_switch.h51 armv_contextSwitch_HWASID(cap_pd, getHWASID(asid));
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dcontext_switch.h51 armv_contextSwitch_HWASID(cap_pd, getHWASID(asid));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h45 hw_asid_t getHWASID(asid_t asid);
55 hw_asid_t getHWASID(asid_t asid);
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h49 hw_asid_t getHWASID(asid_t asid);
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1190 hw_asid_t getHWASID(asid_t asid) function
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1142 hw_asid_t getHWASID(asid_t asid) function

Completed in 166 milliseconds