Searched refs:secondary_control_mask (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c231 uint32_t secondary_control_mask = local
280 secondary_control_mask |= BIT(5);
313 missing = (~secondary_control_low) & secondary_control_mask;
327 secondary_control_high |= secondary_control_mask;

Completed in 37 milliseconds