PAGING_MODE_32
return (PAGING_MODE_32);
if (paging->paging_mode == PAGING_MODE_32) {
paging->paging_mode = PAGING_MODE_32;