PROFILE_page_fault_XXX: more detailed page PF profiling

2017-03-06 20:05:13 +09:00
parent 0dd2fad33b
commit 105d373765
4 changed files with 10 additions and 0 deletions
--- a/kernel/fileobj.c
+++ b/kernel/fileobj.c
@@ -414,6 +414,9 @@ static void fileobj_do_pageio(void *args0)
 		if (to_memobj(obj)->flags & MF_ZEROFILL) {
 			void *virt = phys_to_virt(page_to_phys(page));
 			memset(virt, 0, PAGE_SIZE);
+#ifdef PROFILE_ENABLE
+			profile_event_add(PROFILE_page_fault_file_clr, PAGE_SIZE);
+#endif // PROFILE_ENABLE
 		}
 		else {
 			page->mode = PM_PAGEIO;