diff options
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 8c1d33c6a5e..927da963dad 100644 --- a/src/rt/rust_kernel.h +++ b/src/rt/rust_kernel.h @@ -93,6 +93,8 @@ public: void release_port_id(rust_port_id tid); void set_exit_status(int code); + + rust_sched_id osmain_sched_id() { return osmain_scheduler; } }; #endif /* RUST_KERNEL_H */ |