Function raise_prompt 

pub fn raise_prompt(
    cx: &mut Cx,
    prompt_record: &dyn ControlPrompt,
) -> Result<Ref>

Raises a library-level control prompt through the kernel control contract.