17d116dccSCC Ma /* 27d116dccSCC Ma * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. 37d116dccSCC Ma * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 57d116dccSCC Ma */ 6*c3cf06f1SAntonio Nino Diaz #ifndef SPM_HOTPLUG_H 7*c3cf06f1SAntonio Nino Diaz #define SPM_HOTPLUG_H 87d116dccSCC Ma 97d116dccSCC Ma void spm_clear_hotplug(void); 107d116dccSCC Ma void spm_hotplug_off(unsigned long mpidr); 117d116dccSCC Ma void spm_hotplug_on(unsigned long mpidr); 127d116dccSCC Ma 13*c3cf06f1SAntonio Nino Diaz #endif /* SPM_HOTPLUG_H */ 14