find_area
extern area_id find_area(const char *name);
id = find_area (area_name);
curarea = find_area(name);
area = find_area (AREA_NAME);
area_id area = find_area(name);
thread->kernel_stack_area = find_area(name);
return find_area(name);
area_id area = find_area("intel extreme mmio");