Home
last modified time | relevance | path

Searched refs:saved_data_ptr (Results 1 – 1 of 1) sorted by relevance

/xnu-11417.121.6/osfmk/i386/commpage/
H A Dcommpage.c866 volatile uint32_t *saved_data_ptr; in commpage_update_kdebug_state() local
872 saved_data_ptr = (volatile uint32_t *)cp; in commpage_update_kdebug_state()
873 *saved_data_ptr = kdebug_commpage_state(); in commpage_update_kdebug_state()
879 saved_data_ptr = (volatile uint32_t *)cp; in commpage_update_kdebug_state()
880 *saved_data_ptr = kdebug_commpage_state(); in commpage_update_kdebug_state()
888 volatile uint32_t *saved_data_ptr; in commpage_update_atm_diagnostic_config() local
894 saved_data_ptr = (volatile uint32_t *)cp; in commpage_update_atm_diagnostic_config()
895 *saved_data_ptr = diagnostic_config; in commpage_update_atm_diagnostic_config()
901 saved_data_ptr = (volatile uint32_t *)cp; in commpage_update_atm_diagnostic_config()
902 *saved_data_ptr = diagnostic_config; in commpage_update_atm_diagnostic_config()