!PageReserved(page)         && 
static inline int page_is_buddy(struct page *page, int order){       if (PagePrivate(page)           &&           (page_order(page) == order) &&           !PageReserved(page)         &&            page_count(page) == 0)               return 1;       return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b5810039a54e5babf428e9a1e89fc1940fabff11/page_alloc.c/clean/mm/page_alloc.c