Searched refs:old_val_ptr (Results 1 – 1 of 1) sorted by relevance
1005 pentry_t *old_val_ptr, pentry_t mask, uint32_t options) in page_map_set() argument1022 if (old_val_ptr != NULL) { in page_map_set()1023 *old_val_ptr = old_val; in page_map_set()
