Lines Matching refs:uint64_t
271 extern uint64_t main_entry[1];
272 extern uint64_t secondary_cpu_stack[1];
311 uint64_t base;
330 uint64_t base;
345 uint64_t longs[NUM_GPRS];
349 uint64_t cr0;
354 uint64_t cr2;
355 uint64_t cr4;
357 uint64_t rip;
358 uint64_t rflags;
363 uint64_t ia32_spec_ctrl;
364 uint64_t ia32_efer;
368 uint64_t value[XSAVE_HEADER_AREA_SIZE / sizeof(uint64_t)];
371 uint64_t xstate_bv;
373 uint64_t xcomp_bv;
378 uint64_t legacy_region[XSAVE_LEGACY_AREA_SIZE / sizeof(uint64_t)];
380 uint64_t extend_region[XSAVE_EXTEND_AREA_SIZE / sizeof(uint64_t)];
387 uint64_t cr3;
401 uint64_t ia32_star;
402 uint64_t ia32_cstar;
403 uint64_t ia32_lstar;
404 uint64_t ia32_fmask;
405 uint64_t ia32_kernel_gs_base;
407 uint64_t ia32_pat;
409 uint64_t ia32_sysenter_esp;
410 uint64_t ia32_sysenter_eip;
411 uint64_t ia32_debugctl;
413 uint64_t dr7;
414 uint64_t tsc_offset;
415 uint64_t tsc_aux;
418 uint64_t xcr0;
431 uint64_t vector;
432 uint64_t error_code;
433 uint64_t rip;
434 uint64_t cs;
435 uint64_t rflags;
436 uint64_t rsp;
437 uint64_t ss;
461 bool start_pcpus(uint64_t mask);
462 void wait_pcpus_offline(uint64_t mask);
464 void wait_sync_change(volatile const uint64_t *sync, uint64_t wake_sync);
498 static inline uint64_t sgdt(void) in sgdt()
505 static inline uint64_t sidt(void) in sidt()
513 static inline uint64_t cpu_msr_read(uint32_t reg) in cpu_msr_read()
518 return (((uint64_t)msrh << 32U) | msrl); in cpu_msr_read()
522 static inline void cpu_msr_write(uint32_t reg, uint64_t msr_val) in cpu_msr_write()
573 static inline void cpu_sp_write(uint64_t *stack_ptr) in cpu_sp_write()
575 uint64_t rsp = (uint64_t)stack_ptr & ~(CPU_STACK_ALIGN - 1UL); in cpu_sp_write()
626 cpu_rdtscp_execute(uint64_t *timestamp_ptr, uint32_t *cpu_id_ptr) in cpu_rdtscp_execute()
631 *timestamp_ptr = ((uint64_t)tsh << 32U) | tsl; in cpu_rdtscp_execute()
688 static inline uint64_t cpu_rsp_get(void) in cpu_rsp_get()
690 uint64_t ret; in cpu_rsp_get()
696 static inline uint64_t cpu_rbp_get(void) in cpu_rbp_get()
698 uint64_t ret; in cpu_rbp_get()
704 static inline uint64_t msr_read(uint32_t reg_num) in msr_read()
709 static inline void msr_write(uint32_t reg_num, uint64_t value64) in msr_write()
714 static inline int32_t msr_write_safe(uint32_t reg_num, uint64_t value64, uint64_t rsvd) in msr_write_safe()
729 uint64_t read_val;
730 uint64_t write_val;
733 void msr_write_pcpu(uint32_t msr_index, uint64_t value64, uint16_t pcpu_id);
734 uint64_t msr_read_pcpu(uint32_t msr_index, uint16_t pcpu_id);
736 static inline void write_xcr(int32_t reg, uint64_t val) in write_xcr()
741 static inline uint64_t read_xcr(int32_t reg) in read_xcr()
746 return (((uint64_t)xcrh << 32U) | xcrl); in read_xcr()
749 static inline void xsaves(struct xsave_area *region_addr, uint64_t mask) in xsaves()
758 static inline void xrstors(const struct xsave_area *region_addr, uint64_t mask) in xrstors()
772 static inline void read_xmm_0_2(uint64_t *xmm0_addr, uint64_t *xmm1_addr, uint64_t *xmm2_addr) in read_xmm_0_2()
779 static inline void write_xmm_0_2(uint64_t *xmm0_addr, uint64_t *xmm1_addr, uint64_t *xmm2_addr) in write_xmm_0_2()
816 uint64_t get_active_pcpu_bitmap(void);