Remove log_segment_null, debug_set_dispatcher_target, check_dispatcher_target, check_page_switch in release mode
This commit is contained in:
parent
31b2582d13
commit
714105a7bc
|
@ -2569,6 +2569,7 @@ pub unsafe fn load_ldt(selector: i32) -> OrPageFault<()> {
|
|||
}
|
||||
|
||||
#[no_mangle]
|
||||
#[cfg(feature = "profiler")]
|
||||
pub unsafe fn log_segment_null(segment: i32) {
|
||||
dbg_assert!(segment >= 0 && segment < 8);
|
||||
if *segment_is_null.offset(segment as isize) {
|
||||
|
@ -3961,6 +3962,7 @@ pub unsafe fn pic_call_irq(interrupt_nr: i32) {
|
|||
}
|
||||
|
||||
#[no_mangle]
|
||||
#[cfg(debug_assertions)]
|
||||
pub unsafe fn check_page_switch(block_addr: u32, next_block_addr: u32) {
|
||||
let x = translate_address_read_jit(*instruction_pointer);
|
||||
if x != Ok(next_block_addr) {
|
||||
|
|
|
@ -2203,11 +2203,13 @@ pub fn check_missed_entry_points(phys_address: u32, state_flags: CachedStateFlag
|
|||
}
|
||||
|
||||
#[no_mangle]
|
||||
#[cfg(feature = "profiler")]
|
||||
pub fn debug_set_dispatcher_target(_target_index: i32) {
|
||||
//dbg_log!("About to call dispatcher target_index={}", target_index);
|
||||
}
|
||||
|
||||
#[no_mangle]
|
||||
#[cfg(feature = "profiler")]
|
||||
pub fn check_dispatcher_target(target_index: i32, max: i32) {
|
||||
//dbg_log!("Dispatcher called target={}", target_index);
|
||||
dbg_assert!(target_index >= 0);
|
||||
|
|
Loading…
Reference in a new issue