pub const VA_EXEC_SYNC: u32 = 0;