Home
last modified time | relevance | path

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

/xnu-12377.1.9/osfmk/i386/commpage/
H A Dcommpage.c873 volatile uint32_t *saved_data_ptr; in commpage_update_kdebug_state() local
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()
886 saved_data_ptr = (volatile uint32_t *)cp; in commpage_update_kdebug_state()
887 *saved_data_ptr = kdebug_commpage_state(); in commpage_update_kdebug_state()
895 volatile uint32_t *saved_data_ptr; in commpage_update_atm_diagnostic_config() local
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()
908 saved_data_ptr = (volatile uint32_t *)cp; in commpage_update_atm_diagnostic_config()
909 *saved_data_ptr = diagnostic_config; in commpage_update_atm_diagnostic_config()