evax = 1 alpha=1 bigpage=1 addressbits=32 step2=1