ima_get_kexec_buffer
int __init ima_get_kexec_buffer(void **addr, size_t *size);
rc = ima_get_kexec_buffer(&kexec_buffer, &kexec_buffer_size);