bios: flushl2 command

This commit is contained in:
Sebastien Bourdeauducq 2013-11-16 16:27:34 +01:00
parent c3d0985fb2
commit c9e99dfca9

View file

@ -347,6 +347,7 @@ static void do_command(char *c)
else if(strcmp(token, "mw") == 0) mw(get_token(&c), get_token(&c), get_token(&c)); else if(strcmp(token, "mw") == 0) mw(get_token(&c), get_token(&c), get_token(&c));
else if(strcmp(token, "mc") == 0) mc(get_token(&c), get_token(&c), get_token(&c)); else if(strcmp(token, "mc") == 0) mc(get_token(&c), get_token(&c), get_token(&c));
else if(strcmp(token, "crc") == 0) crc(get_token(&c), get_token(&c)); else if(strcmp(token, "crc") == 0) crc(get_token(&c), get_token(&c));
else if(strcmp(token, "flushl2") == 0) flush_l2_cache();
else if(strcmp(token, "flashboot") == 0) flashboot(); else if(strcmp(token, "flashboot") == 0) flashboot();
else if(strcmp(token, "serialboot") == 0) serialboot(); else if(strcmp(token, "serialboot") == 0) serialboot();