1 /* { dg-require-effective-target alloca } */
2 typedef unsigned long grub_uint64_t
;
3 typedef grub_uint64_t grub_size_t
;
4 void grub_putchar (char);
5 void cl_set_pos (void);
6 void cl_print (grub_size_t
, char);
7 void grub_memmove (void);
8 void cl_delete (grub_size_t
);
10 grub_cmdline_get (unsigned max_len
, int echo_char
)
12 unsigned xpos
, ypos
, ystart
;
13 grub_size_t lpos
, llen
;
15 void cl_print (int pos
, int c
)
18 for (p
= buf
+ pos
; *p
; p
++)
25 void cl_delete (unsigned len
)
30 cl_print (lpos
, echo_char
);