Searched defs:socket (Results 1 – 7 of 7) sorted by relevance
| /xen/xen/arch/x86/ |
| A D | psr.c | 221 static void free_socket_resources(unsigned int socket) in free_socket_resources()
735 unsigned int socket = cpu_to_socket(smp_processor_id()); in psr_assoc_init() local
777 unsigned int socket = cpu_to_socket(smp_processor_id()); in psr_ctxt_switch_to() local
809 int psr_get_info(unsigned int socket, enum psr_type type, in psr_get_info()
841 int psr_get_val(struct domain *d, unsigned int socket, in psr_get_val()
1235 static unsigned int get_socket_cpu(unsigned int socket) in get_socket_cpu()
1295 static int write_psr_msrs(unsigned int socket, unsigned int cos, in write_psr_msrs()
1324 int psr_set_val(struct domain *d, unsigned int socket, in psr_set_val()
1461 unsigned int socket, cos; in psr_free_cos() local
1556 unsigned int socket, cpu = smp_processor_id(); in psr_cpu_init() local
[all …]
|
| A D | smpboot.c | 98 unsigned int socket; in smp_store_cpu_info() local
925 unsigned int socket = cpu_to_socket(cpu); in cpu_smpboot_free() local
|
| A D | time.c | 1819 unsigned int socket = cpu_to_socket(smp_processor_id()); in init_percpu_time() local
|
| /xen/xen/include/public/io/ |
| A D | pvcalls.h | 72 } socket; member
122 } socket; member
|
| /xen/tools/libxc/ |
| A D | xc_psr.c | 332 int xc_psr_get_hw_info(xc_interface *xch, uint32_t socket, in xc_psr_get_hw_info()
|
| /xen/tools/xenstore/ |
| A D | xenstore_client.c | 533 int ret = 0, socket = 0; in main() local
|
| /xen/xen/include/public/ |
| A D | sysctl.h | 483 uint32_t socket; member
|
Completed in 26 milliseconds