381         Aml *slots_nr = aml_name(MEMORY_SLOTS_NUMBER);  in build_memory_hotplug_aml()
382         Aml *ctrl_lock = aml_name(MEMORY_SLOT_LOCK);  in build_memory_hotplug_aml()
383         Aml *slot_selector = aml_name(MEMORY_SLOT_SLECTOR);  in build_memory_hotplug_aml()
473                 Aml *ins_evt = aml_name(MEMORY_SLOT_INSERT_EVENT);  in build_memory_hotplug_aml()
474                 Aml *rm_evt = aml_name(MEMORY_SLOT_REMOVE_EVENT);  in build_memory_hotplug_aml()
507             Aml *slot_enabled = aml_name(MEMORY_SLOT_ENABLED);  in build_memory_hotplug_aml()
527             Aml *mr64 = aml_name("MR64");  in build_memory_hotplug_aml()
528             Aml *mr32 = aml_name("MR32");  in build_memory_hotplug_aml()
530             Aml *minl = aml_name("MINL");  in build_memory_hotplug_aml()
531             Aml *minh = aml_name("MINH");  in build_memory_hotplug_aml()
532             Aml *maxl =  aml_name("MAXL");  in build_memory_hotplug_aml()
533             Aml *maxh =  aml_name("MAXH");  in build_memory_hotplug_aml()
534             Aml *lenl = aml_name("LENL");  in build_memory_hotplug_aml()
535             Aml *lenh = aml_name("LENH");  in build_memory_hotplug_aml()
561                 aml_store(aml_name(MEMORY_SLOT_ADDR_HIGH), minh));  in build_memory_hotplug_aml()
563                 aml_store(aml_name(MEMORY_SLOT_ADDR_LOW), minl));  in build_memory_hotplug_aml()
565                 aml_store(aml_name(MEMORY_SLOT_SIZE_HIGH), lenh));  in build_memory_hotplug_aml()
567                 aml_store(aml_name(MEMORY_SLOT_SIZE_LOW), lenl));  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()
619             Aml *proximity = aml_name(MEMORY_SLOT_PROXIMITY);  in build_memory_hotplug_aml()
632             Aml *ost_evt = aml_name(MEMORY_SLOT_OST_EVENT);  in build_memory_hotplug_aml()
633             Aml *ost_status = aml_name(MEMORY_SLOT_OST_STATUS);  in build_memory_hotplug_aml()
646             Aml *eject = aml_name(MEMORY_SLOT_EJECT);  in build_memory_hotplug_aml()
667             aml_append(method, aml_return(aml_call1(s, aml_name("_UID"))));  in build_memory_hotplug_aml()
672             aml_append(method, aml_return(aml_call1(s, aml_name("_UID"))));  in build_memory_hotplug_aml()
677             aml_append(method, aml_return(aml_call1(s, aml_name("_UID"))));  in build_memory_hotplug_aml()
683                        aml_call4(s, aml_name("_UID"), aml_arg(0),  in build_memory_hotplug_aml()
690                        aml_call2(s, aml_name("_UID"), aml_arg(0)));  in build_memory_hotplug_aml()
703                 aml_notify(aml_name("MP%.02X", i), aml_arg(1))  in build_memory_hotplug_aml()