From 56c0b188b66f71f55e2d577ca4a23830a31433e6 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Sat, 11 May 2013 19:46:43 -0700 Subject: rt: Rename sched_key to rt_key It is more general-purpose than holding scheduler pointers --- src/rt/rustrt.def.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/rt/rustrt.def.in') diff --git a/src/rt/rustrt.def.in b/src/rt/rustrt.def.in index f1ddb17c499..cdc282440b8 100644 --- a/src/rt/rustrt.def.in +++ b/src/rt/rustrt.def.in @@ -196,7 +196,7 @@ rust_get_global_data_ptr rust_inc_kernel_live_count rust_dec_kernel_live_count rust_exchange_count -rust_get_sched_tls_key +rust_get_rt_tls_key swap_registers rust_readdir rust_opendir -- cgit 1.4.1-3-g733a5