pub fn with_stdin<F, R>(f: F) -> Result<R>where F: FnMut(&mut Input) -> Result<R>,
it has roughly the same function as uefi::system::with_stdin.
uefi::system::with_stdin