rt: Rename config_valgrind_stack to register_valgrind_stack, etc

This commit is contained in:
Brian Anderson
2012-02-10 11:31:17 -08:00
parent dd0ae80e63
commit c42492e6aa
4 changed files with 10 additions and 16 deletions

View File

@@ -290,7 +290,7 @@ rust_task_thread::start_main_loop() {
I(this, !extra_c_stack);
if (cached_c_stack) {
unconfig_valgrind_stack(cached_c_stack);
deregister_valgrind_stack(cached_c_stack);
destroy_stack(kernel, cached_c_stack);
cached_c_stack = NULL;
}
@@ -372,14 +372,14 @@ rust_task_thread::prepare_c_stack() {
I(this, !extra_c_stack);
if (!cached_c_stack) {
cached_c_stack = create_stack(kernel, C_STACK_SIZE);
config_valgrind_stack(cached_c_stack);
register_valgrind_stack(cached_c_stack);
}
}
void
rust_task_thread::unprepare_c_stack() {
if (extra_c_stack) {
unconfig_valgrind_stack(extra_c_stack);
deregister_valgrind_stack(extra_c_stack);
destroy_stack(kernel, extra_c_stack);
extra_c_stack = NULL;
}