Can a mutex be placed in the arch_free_page function, or is this function required to be fully reentrant for all processors? Source link