is_1gib_page_supported: use printv instead

Signed-off-by: Andy-Python-Programmer <andypythonappdeveloper@gmail.com>
This commit is contained in:
Andy-Python-Programmer 2022-01-27 15:41:35 +11:00
parent e64eeef633
commit 061c8aa34a
No known key found for this signature in database
GPG Key ID: 80E0357347554B89

View File

@ -52,7 +52,7 @@ static bool is_1gib_page_supported(void) {
CACHE = cpuid(0x80000001, 0, &eax, &ebx, &ecx, &edx) && ((edx & 1 << 26) == 1 << 26);
CACHE_INIT = true;
print("paging: 1GiB pages are %s!\n", CACHE ? "supported" : "not supported");
printv("paging: 1GiB pages are %s!\n", CACHE ? "supported" : "not supported");
}
return CACHE;