Module is_used

This module tracks whether any statically-allocated CPU-local variables are used.

copy_bsp_for_ap copies the CPU local data from the BSP to the APs, so it requires as a safety condition that the CPU-local data has not been accessed before the copy. This module provides utilities to check if the safety condition is met, but only if debug assertions are enabled.

Statics

IS_USED 🔒

Functions

debug_assert_false

debug_set_true