Searched refs:setVMRootForFlush (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1075 static bool_t setVMRootForFlush(pde_t *pd, asid_t asid) function
1520 root_switched = setVMRootForFlush(pd, asid);
1543 root_switched = setVMRootForFlush(pd, asid);
1859 root_switched = setVMRootForFlush(pd, asid);
1985 root_switched = setVMRootForFlush(pd, asid);
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1009 static bool_t setVMRootForFlush(vspace_root_t *vspace, asid_t asid) function
1485 root_switched = setVMRootForFlush(vspaceRoot, asid);
1648 root_switched = setVMRootForFlush(vspaceRoot, asid);

Completed in 90 milliseconds