Searched refs:old_dte (Results 1 – 1 of 1) sorted by relevance
559 u32 old_dte; in sun50i_dte_get_page_table() local574 old_dte = cmpxchg(dte_addr, 0, dte); in sun50i_dte_get_page_table()575 if (old_dte) { in sun50i_dte_get_page_table()577 sun50i_dte_get_pt_address(old_dte); in sun50i_dte_get_page_table()582 dte = old_dte; in sun50i_dte_get_page_table()