qiurui
/
asterinas
mirror of https://github.com/asterinas/asterinas.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Improve safety comment of `fill_boot_info_ptr` and `fill_boot_pt_ptr`

This commit is contained in:
Calvin 2025-12-10 20:48:30 +08:00 committed by Tate, Hongliang Tian
parent e432d56e24
commit dd4f98f0b9
2 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ostd/src/arch/riscv/boot/smp.rs
View File

@ -115,7 +115,8 @@ unsafe fn bringup_ap(hart_id: u32) {
///
/// # Safety
///
/// The caller must ensure that `__ap_boot_info_array_pointer` is safe to write.
/// This function writes to the static mutable variable `__ap_boot_info_array_pointer`.
/// The caller must ensure exclusive access to this variable.
unsafe fn fill_boot_info_ptr(info_ptr: *const PerApRawInfo) {
unsafe extern "C" {
static mut __ap_boot_info_array_pointer: *const PerApRawInfo;
@ -131,7 +132,8 @@ unsafe fn fill_boot_info_ptr(info_ptr: *const PerApRawInfo) {
///
/// # Safety
///
/// The caller must ensure that `__ap_boot_page_table_pointer` is safe to write.
/// This function writes to the static mutable variable `__ap_boot_page_table_pointer`.
/// The caller must ensure exclusive access to this variable.
unsafe fn fill_boot_page_table_ptr(pt_ptr: Paddr) {
unsafe extern "C" {
static mut __ap_boot_page_table_pointer: Paddr;

6
ostd/src/arch/x86/boot/smp.rs
View File

@ -172,7 +172,8 @@ unsafe fn copy_ap_boot_code() {
/// # Safety
///
/// The caller must ensure the pointer to be filled is valid to write.
/// This function writes to the static mutable variable `__ap_boot_info_array_pointer`.
/// The caller must ensure exclusive access to this variable.
unsafe fn fill_boot_info_ptr(info_ptr: *const PerApRawInfo) {
unsafe extern "C" {
static mut __ap_boot_info_array_pointer: *const PerApRawInfo;
@ -186,7 +187,8 @@ unsafe fn fill_boot_info_ptr(info_ptr: *const PerApRawInfo) {
/// # Safety
///
/// The caller must ensure the pointer to be filled is valid to write.
/// This function writes to the static mutable variable `__boot_page_table_pointer`.
/// The caller must ensure exclusive access to this variable.
unsafe fn fill_boot_pt_ptr(pt_ptr: Paddr) {
unsafe extern "C" {
static mut __boot_page_table_pointer: u32;