339     Aml *ifctx;  in build_memory_hotplug_aml()  local
438         ifctx = aml_if(aml_equal(slots_nr, zero));  in build_memory_hotplug_aml()
440             aml_append(ifctx, aml_return(zero));  in build_memory_hotplug_aml()
442         aml_append(method, ifctx);  in build_memory_hotplug_aml()
457             ifctx = aml_if(aml_equal(slots_nr, zero));  in build_memory_hotplug_aml()
459                 aml_append(ifctx, aml_return(zero));  in build_memory_hotplug_aml()
461             aml_append(method, ifctx);  in build_memory_hotplug_aml()
477                 ifctx = aml_if(aml_equal(ins_evt, one));  in build_memory_hotplug_aml()
479                     aml_append(ifctx,  in build_memory_hotplug_aml()
482                     aml_append(ifctx, aml_store(one, ins_evt));  in build_memory_hotplug_aml()
484                 aml_append(while_ctx, ifctx);  in build_memory_hotplug_aml()
487                 ifctx = aml_if(aml_equal(rm_evt, one));  in build_memory_hotplug_aml()
489                     aml_append(ifctx,  in build_memory_hotplug_aml()
492                     aml_append(ifctx, aml_store(one, rm_evt));  in build_memory_hotplug_aml()
494                 aml_append(else_ctx, ifctx);  in build_memory_hotplug_aml()
514             ifctx = aml_if(aml_equal(slot_enabled, one));  in build_memory_hotplug_aml()
516                 aml_append(ifctx, aml_store(aml_int(0xF), ret_val));  in build_memory_hotplug_aml()
518             aml_append(method, ifctx);  in build_memory_hotplug_aml()
572             ifctx = aml_if(aml_lless(maxl, minl));  in build_memory_hotplug_aml()
574                 aml_append(ifctx, aml_add(maxh, one, maxh));  in build_memory_hotplug_aml()
576             aml_append(method, ifctx);  in build_memory_hotplug_aml()
577             ifctx = aml_if(aml_lless(maxl, one));  in build_memory_hotplug_aml()
579                 aml_append(ifctx, aml_subtract(maxh, one, maxh));  in build_memory_hotplug_aml()
581             aml_append(method, ifctx);  in build_memory_hotplug_aml()
586             ifctx = aml_if(aml_equal(maxh, zero));  in build_memory_hotplug_aml()
595                 aml_append(ifctx, aml_name_decl("MR32", crs_tmpl));  in build_memory_hotplug_aml()
596                 aml_append(ifctx,  in build_memory_hotplug_aml()
598                 aml_append(ifctx,  in build_memory_hotplug_aml()
600                 aml_append(ifctx,  in build_memory_hotplug_aml()
602                 aml_append(ifctx, aml_store(minl, aml_name("MIN")));  in build_memory_hotplug_aml()
603                 aml_append(ifctx, aml_store(maxl, aml_name("MAX")));  in build_memory_hotplug_aml()
604                 aml_append(ifctx, aml_store(lenl, aml_name("LEN")));  in build_memory_hotplug_aml()
606                 aml_append(ifctx, aml_release(ctrl_lock));  in build_memory_hotplug_aml()
607                 aml_append(ifctx, aml_return(mr32));  in build_memory_hotplug_aml()
609             aml_append(method, ifctx);  in build_memory_hotplug_aml()
701             ifctx = aml_if(aml_equal(aml_arg(0), aml_int(i)));  in build_memory_hotplug_aml()
702             aml_append(ifctx,  in build_memory_hotplug_aml()
705             aml_append(method, ifctx);  in build_memory_hotplug_aml()