Searched defs:armv_handleVCPUFault (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h738 armv_handleVCPUFault(word_t hsr) function

Completed in 72 milliseconds