Rev 127 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 127 | Rev 130 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | 37 | ||
38 | 38 | ||
39 | /** Cleanup asid_bitmap |
39 | /** Cleanup asid_bitmap |
40 | * |
40 | * |
41 | */ |
41 | */ |
42 | void asid_bitmap_reset() |
42 | void asid_bitmap_reset(void) |
43 | { |
43 | { |
44 | memsetb(asid_bitmap, sizeof(asid_bitmap), 0); |
44 | memsetb(asid_bitmap, sizeof(asid_bitmap), 0); |
45 | } |
45 | } |
46 | 46 | ||
47 | 47 | ||
48 | /** Initialize manipulating with ASIDs |
48 | /** Initialize manipulating with ASIDs |
49 | * |
49 | * |
50 | */ |
50 | */ |
51 | void init_asids() |
51 | void init_asids(void) |
52 | { |
52 | { |
53 | memsetb(asids, sizeof(asids), 0); |
53 | memsetb(asids, sizeof(asids), 0); |
54 | asid_bitmap_reset(); |
54 | asid_bitmap_reset(); |
55 | last_asid = 0; |
55 | last_asid = 0; |
56 | } |
56 | } |