profile: more detailed profiling of file PFs

2017-03-09 23:00:33 +09:00
parent 4c42086154
commit 746b459e7f
4 changed files with 11 additions and 0 deletions
--- a/kernel/devobj.c
+++ b/kernel/devobj.c
@@ -231,6 +231,9 @@ static int devobj_get_page(struct memobj *memobj, off_t off, int p2align, uintpt

 	memobj_lock(&obj->memobj);
 	pfn = obj->pfn_table[ix];
+#ifdef PROFILE_ENABLE
+	profile_event_add(PROFILE_page_fault_dev_file, PAGE_SIZE);
+#endif // PROFILE_ENABLE
 	if (!(pfn & PFN_VALID)) {
 		memobj_unlock(&obj->memobj);