1491 static void pc_machine_set_fd_bootchk(Object *obj, bool value, Error **errp)  in pc_machine_set_fd_bootchk()
1505 static void pc_machine_set_smbus(Object *obj, bool value, Error **errp)  in pc_machine_set_smbus()
1519 static void pc_machine_set_sata(Object *obj, bool value, Error **errp)  in pc_machine_set_sata()
1533 static void pc_machine_set_hpet(Object *obj, bool value, Error **errp)  in pc_machine_set_hpet()
1547 static void pc_machine_set_i8042(Object *obj, bool value, Error **errp)  in pc_machine_set_i8042()
1561 static void pc_machine_set_default_bus_bypass_iommu(Object *obj, bool value,  in pc_machine_set_default_bus_bypass_iommu()
1591     uint64_t value = pcms->max_ram_below_4g;  in pc_machine_get_max_ram_below_4g()  local
1601     uint64_t value;  in pc_machine_set_max_ram_below_4g()  local
1626     uint64_t value = pcms->max_fw_size;  in pc_machine_get_max_fw_size()  local
1636     uint64_t value;  in pc_machine_set_max_fw_size()  local