Work on x86/vm, change to set_bit