profile: add PROFILE_remote_page_fault

2017-07-23 19:00:00 +09:00
parent bf5ac7afc8
commit 4cd1c120fa
4 changed files with 36 additions and 11 deletions
--- a/kernel/include/profile.h
+++ b/kernel/include/profile.h
@@ -38,6 +38,7 @@ enum profile_event_type {
 	PROFILE_page_fault_file,
 	PROFILE_page_fault_dev_file,
 	PROFILE_page_fault_file_clr,
+	PROFILE_remote_page_fault,
 	PROFILE_mpol_alloc_missed,
 	PROFILE_mmap_anon_contig_phys,
 	PROFILE_mmap_anon_no_contig_phys,