Searched refs:pal_cr_t (Results 1 – 3 of 3) sorted by relevance
83 typedef uint64_t pal_cr_t; typedef103 extern void pal_get_control_registers( pal_cr_t *cr0, pal_cr_t *cr2,104 pal_cr_t *cr3, pal_cr_t *cr4 );
110 pal_get_control_registers( pal_cr_t *cr0, pal_cr_t *cr2, in pal_get_control_registers()111 pal_cr_t *cr3, pal_cr_t *cr4 ) in pal_get_control_registers()
810 pal_cr_t cr0, cr2, cr3, cr4; in panic_trap()