1487 	enum arch_page_location status;  in arch_page_location_get()  local
1499 		status = ARCH_PAGE_LOCATION_PAGED_IN;  in arch_page_location_get()
1502 		status = ARCH_PAGE_LOCATION_PAGED_OUT;  in arch_page_location_get()
1509 	return status;  in arch_page_location_get()
1517 	uintptr_t status = 0;  in arch_page_info_get()  local
1529 		status |= ARCH_DATA_PAGE_LOADED;  in arch_page_info_get()
1542 	if ((status & ARCH_DATA_PAGE_LOADED) == 0) {  in arch_page_info_get()
1543 		return status;  in arch_page_info_get()
1547 		status |= ARCH_DATA_PAGE_ACCESSED;  in arch_page_info_get()
1551 		status |= ARCH_DATA_PAGE_DIRTY;  in arch_page_info_get()
1563 	return status;  in arch_page_info_get()