Searched refs:dev_chk (Results 1 – 2 of 2) sorted by relevance
455 Aml *dev_chk = aml_int(1); in build_memory_hotplug_aml() local481 idx, dev_chk)); in build_memory_hotplug_aml()
494 Aml *dev_chk = aml_int(1); in build_cpus_aml() local616 aml_call2(CPU_NOTIFY_METHOD, uid, dev_chk)); in build_cpus_aml()