Searched refs:old_dte (Results 1 – 1 of 1) sorted by relevance
562 u32 old_dte; in sun50i_dte_get_page_table() local577 old_dte = cmpxchg(dte_addr, 0, dte); in sun50i_dte_get_page_table()578 if (old_dte) { in sun50i_dte_get_page_table()580 sun50i_dte_get_pt_address(old_dte); in sun50i_dte_get_page_table()585 dte = old_dte; in sun50i_dte_get_page_table()