Searched refs:PFAULT_INIT (Results 1 – 1 of 1) sorted by relevance
33 #define PFAULT_INIT 0x0600 macro312 rc |= put_guest_lc(vcpu, PFAULT_INIT, (u16 *) __LC_EXT_CPU_ADDR); in __deliver_pfault_init()