Sign in
kernel
/
pub
/
scm
/
linux
/
kernel
/
git
/
jikos
/
livepatching
/
d5c7076b772ad7dcdb92303397b36aee8fa0d25d
/
.
/
arch
/
arm
/
mach-realview
/
hotplug.h
blob: eacd7a4dad2f96c0a912fb5b07c6198de9f232eb [
file
] [
log
] [
blame
]
void
realview_cpu_die
(
unsigned
int
cpu
);