1520 static inline void paging_stats_faults_inc(struct k_thread *faulting_thread,  in paging_stats_faults_inc()  argument
1535 	faulting_thread->paging_stats.pagefaults.cnt++;  in paging_stats_faults_inc()
1538 		faulting_thread->paging_stats.pagefaults.irq_unlocked++;  in paging_stats_faults_inc()
1540 		faulting_thread->paging_stats.pagefaults.irq_locked++;  in paging_stats_faults_inc()
1543 	ARG_UNUSED(faulting_thread);  in paging_stats_faults_inc()
1551 		faulting_thread->paging_stats.pagefaults.in_isr++;  in paging_stats_faults_inc()
1558 static inline void paging_stats_eviction_inc(struct k_thread *faulting_thread,  in paging_stats_eviction_inc()  argument
1569 		faulting_thread->paging_stats.eviction.dirty++;  in paging_stats_eviction_inc()
1571 		faulting_thread->paging_stats.eviction.clean++;  in paging_stats_eviction_inc()
1574 	ARG_UNUSED(faulting_thread);  in paging_stats_eviction_inc()
1621 	struct k_thread *faulting_thread;  in do_page_fault()  local
1677 	faulting_thread = arch_current_thread();  in do_page_fault()
1711 	paging_stats_faults_inc(faulting_thread, key.key);  in do_page_fault()
1722 		paging_stats_eviction_inc(faulting_thread, dirty);  in do_page_fault()