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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvmct.c32 uint32_t cnt_wstat; member in struct:vmct_priv
60 uint32_t *cnt_wstat; local
62 cnt_wstat = &mct_priv->cnt_wstat;
66 *cnt_wstat |= (1 << (offset - 0x100) / 4);
68 *cnt_wstat &= ~(get_vcpu_fault_data(vcpu) & mask);
81 set_vcpu_fault_data(vcpu, *cnt_wstat);
/seL4-camkes-master/kernel/include/drivers/timer/
H A Dmct.h65 uint32_t cnt_wstat; /* 0x110 Write status for cnt */ member in struct:mct_global_map
125 mct->global.cnt_wstat = mct->global.cnt_wstat;

Completed in 37 milliseconds